Theorem CompHaus.lift_lifts

Modification history

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