Mathlib v3 is deprecated. Go to Mathlib v4

Def Profinite.projective_presentation

Modification history

2021-08-17 18:30
src/topology/category/Profinite/projective.lean
feat(tactic/lint): add universe linter (#8685) …
Modified Profinite.projective_presentationView on Github →
2021-08-16 02:20
src/topology/category/Profinite/projective.lean
feat(topology/category/*/projective): CompHaus and Profinite have enough projectives (#8613)
Added Profinite.projective_presentationView on Github →