Theorem CategoryTheory.effectiveEpi_of_effectiveEpi_epi_comp

Modification history