Theorem DomMulAct.mk_smul_linearMap_apply

Modification history