Theorem disjoint_nested_nhds_of_not_inseparable

Modification history

2025-10-27 04:03
Mathlib/Topology/Separation/Regular.lean
feat(Topology/UniformSpace/OfCompactT2): generalize theorem (#30917) …
Added disjoint_nested_nhds_of_not_inseparableView on Github →