Theorem IsHausdorff.of_le_jacobson

Modification history

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