Theorem Profinite.epi_iff_surjective

Modification history

2023-05-01 01:58
Mathlib/Topology/Category/Profinite/Basic.lean
feat: port Topology.Category.Profinite.Basic (#3705)
Added Profinite.epi_iff_surjectiveView on Github →