Theorem IsLocalRing.of_singleton_maximalSpectrum

Modification history

2025-04-14 15:20
Mathlib/RingTheory/LocalRing/MaximalIdeal/Basic.lean
feat(RingTheory/LocalRing): `IsLocalRing.of_singleton_maximalSpectrum` (#23994) …
Added IsLocalRing.of_singleton_maximalSpectrumView on Github →