Def T2Quotient

Modification history

2025-05-16 00:21
Mathlib/Topology/Separation/Hausdorff.lean
style: rename `t2Quotient` to `T2Quotient` (#24911) …
Added T2QuotientView on Github →