Theorem r1Space_iff_inseparable_or_disjoint_nhds

Modification history

2024-07-09 09:09
Mathlib/Topology/Separation.lean
chore: add missing spaces around = or := (#14554) …
Modified r1Space_iff_inseparable_or_disjoint_nhdsView on Github →
2024-01-29 18:36
Mathlib/Topology/Separation.lean
feat(Topology/Separation): define R₁ spaces, review API (#10085) …
Added r1Space_iff_inseparable_or_disjoint_nhdsView on Github →