Theorem DomMulAct.smul_linearMap_apply

Modification history