Theorem Representation.smul_one_tprod_asModule

Modification history