Theorem CategoryTheory.isIso_of_epi_of_isSplitMono

Modification history