Theorem DomMulAct.smul_mulDistribActionHom_apply

Modification history