Theorem Representation.smul_tprod_one_asModule

Modification history