Skip to content

feat(NumberTheory): Neukirch–Uchida theorem#127

Merged
kim-em merged 4 commits intoleanprover:mainfrom
alreadydone:NeukirchUchida
May 5, 2026
Merged

feat(NumberTheory): Neukirch–Uchida theorem#127
kim-em merged 4 commits intoleanprover:mainfrom
alreadydone:NeukirchUchida

Commits

Commits on May 5, 2026