Theorem t1Space_iff_t0Space_and_r0Space

Modification history

2025-06-23 08:19
Mathlib/Topology/Separation/Basic.lean
feat: T₁ iff T₀ and R₀ (#26064)
Added t1Space_iff_t0Space_and_r0SpaceView on Github →