Theorem CategoryTheory.Preadditive.epi_iff_cancel_zero

Modification history