Theorem CategoryTheory.Preadditive.comp_nsmul

Modification history