Theorem DomMulAct.mk_smul_mulDistribActionHom_apply

Modification history