Theorem Representation.smul_ofModule_asModule

Modification history