Theorem Profinite.effectiveEpi_iff_surjective

Modification history