Theorem CategoryTheory.effectiveEpi_iff_effectiveEpiFamily

Modification history