Mathlib v3 is deprecated. Go to Mathlib v4

Theorem Profinite.epi_iff_surjective

Modification history

2021-08-16 02:20

src/topology/category/Profinite/default.lean

feat(topology/category/*/projective): CompHaus and Profinite have enough projectives (#8613)

Added Profinite.epi_iff_surjective View on Github →