feat(RingTheory/LocalRing): IsLocalRing for pullbacks#37008
Open
BryceT233 wants to merge 49 commits intoleanprover-community:masterfrom
Open
feat(RingTheory/LocalRing): IsLocalRing for pullbacks#37008BryceT233 wants to merge 49 commits intoleanprover-community:masterfrom
IsLocalRing for pullbacks#37008BryceT233 wants to merge 49 commits intoleanprover-community:masterfrom
Commits
Commits on Mar 22, 2026
- authored
- authored
- authored
- authored
- authored
- authored
- authored
Commits on Mar 23, 2026
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
Commits on Mar 24, 2026
- authored
- authored
- authored
- authored
- authored
- authored
- authored
Commits on Mar 31, 2026
Commits on Apr 2, 2026
Commits on Apr 7, 2026
Commits on Apr 13, 2026
Commits on Apr 17, 2026
Commits on Apr 18, 2026
Commits on Apr 23, 2026
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored