Theorem Representation.ofMulAction_self_smul_eq_mul

Modification history