Theorem IsHausdorff.of_isLocalRing

Modification history

2025-02-10 20:18
Mathlib/RingTheory/AdicCompletion/Noetherian.lean
feat(RingTheory): Hausdorff-ness of Noetherian rings (#20425)
Added IsHausdorff.of_isLocalRingView on Github →