Theorem SeparationQuotient.t1Space_iff

Modification history

2024-05-24 17:05
Mathlib/Topology/Separation.lean
feat: add competely normal (non-Hausdorff) property (#12458) …
Added SeparationQuotient.t1Space_iffView on Github →