Theorem CategoryTheory.Preadditive.mono_iff_cancel_zero

Modification history