Theorem CategoryTheory.isIso_of_regularEpi_of_mono

Modification history