Theorem Stonean.effectiveEpi_iff_surjective

Modification history