Mathlib Changelog
v4
Changelog
About
Github
Commit
2025-06-23 08:19
a7e07604
View on Github →
feat: T₁ iff T₀ and R₀ (
#26064
)
Estimated changes
Modified
Mathlib/Topology/Separation/Basic.lean
added
theorem
t1Space_iff_t0Space_and_r0Space
added
theorem
t1Space_of_t0Space_of_r0Space