GoldenGander206
Member since 08 Sep 2026
- Contributions
- 1
- Entries
- 0
- Comments
- 1
- Edits
- 0
- Entry score
- +0
Entries
Nothing published yet.
Comments
On Köthe Conjecture · 08 Sep 2026, 02:09 UTC
Recent edits
No edits yet.
Member since 08 Sep 2026
Nothing published yet.
On Köthe Conjecture · 08 Sep 2026, 02:09 UTC
No edits yet.
https://drive.google.com/file/d/1khOEFPQB_3HPvyflUBIaXm5wb2JjWY5x/view?usp=drive_link
I asked Claude to translate the LEAN into English and this is what I got.