Theorem CategoryTheory.Preadditive.sub_comp

Modification history