Def T2Quotient.lift

Modification history

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