Theorem DomMulAct.mk_smul_mulActionHom_apply

Modification history