Theorem CategoryTheory.Preadditive.comp_zsmul

Modification history