Theorem DomMulAct.smul_monoidHom_apply

Modification history