Theorem IsHausdorff.of_isDomain

Modification history

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