Theorem Profinite.effectiveEpiFamily_of_jointly_surjective

Modification history

2023-08-22 14:19
Mathlib/Topology/Category/Profinite/EffectiveEpi.lean
feat: `Profinite` is precoherent (#5858) …
Added Profinite.effectiveEpiFamily_of_jointly_surjectiveView on Github →