Mathlib Changelog
v4
Changelog
About
Github
Theorem
IsLocalRing.of_subring
Modification history
2025-05-01 12:28
Mathlib/RingTheory/LocalRing/Subring.lean
chore: whitespace still (#24501) …
Modified
IsLocalRing.of_subring
View on Github →
2025-02-01 06:30
Mathlib/RingTheory/LocalRing/Subring.lean
feat(RingTheory/LocalRing): `IsLocalRing` for subrings (#21168) …
Added
IsLocalRing.of_subring
View on Github →