Theorem CategoryTheory.isIso_of_regularMono_of_epi

Modification history