Mathlib Changelog
v4
Changelog
About
Github
Theorem
Profinite.projective_of_extrDisc
Modification history
2023-09-06 11:21
Mathlib/Topology/Category/Stonean/Basic.lean
feat: Stonean is projective in Profinite (#6809) …
Added
Profinite.projective_of_extrDisc
View on Github →