Theorem CategoryTheory.Abelian.mono_of_epi_of_mono_of_mono

Modification history