feat(LocalRing/Etale): Finite étale extensions of local rings are monogenic#37527
Open
bryanboehnke wants to merge 14 commits intoleanprover-community:masterfrom
Open
feat(LocalRing/Etale): Finite étale extensions of local rings are monogenic#37527bryanboehnke wants to merge 14 commits intoleanprover-community:masterfrom
bryanboehnke wants to merge 14 commits intoleanprover-community:masterfrom
Commits
Commits on Mar 30, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Apr 1, 2026
- authored andcommitted
- committed