Theorem CategoryTheory.Abelian.epi_of_epi_of_epi_of_mono

Modification history