Theorem CategoryTheory.Preadditive.nsmul_comp

Modification history