Theorem T2Quotient.compatible

Modification history

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