Def CompHaus.lift

Modification history

2023-08-22 17:26
Mathlib/Topology/Category/Stonean/Basic.lean
feat: projectivity of `Stonean` in `CompHaus` (#5808) …
Added CompHaus.liftView on Github →