Theorem DomMulAct.mk_smul_monoidHom_apply

Modification history