Theorem CategoryTheory.isSplitEpi_of_epi

Modification history