Mathlib Changelog
v4
Changelog
About
Github
Theorem
T2Quotient.surjective_mk
Modification history
2025-05-16 00:21
Mathlib/Topology/Separation/Hausdorff.lean
style: rename `t2Quotient` to `T2Quotient` (#24911) …
Added
T2Quotient.surjective_mk
View on Github →