Theorem T2Quotient.lift_mk

Modification history

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