Theorem CategoryTheory.Preadditive.IsIso.comp_left_eq_zero

Modification history