Mathlib Changelog
v4
Changelog
About
Github
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_r0Space
View on Github →