Theorem CategoryTheory.ShortComplex.Exact.map_of_epi_of_preservesCokernel

Modification history