Theorem Profinite.lift_lifts

Modification history

2023-09-06 11:21
Mathlib/Topology/Category/Stonean/Basic.lean
feat: Stonean is projective in Profinite (#6809) …
Added Profinite.lift_liftsView on Github →