Theorem ModuleCat.hom_smul

Modification history