Theorem CategoryTheory.Preadditive.IsIso.comp_right_eq_zero

Modification history