Theorem Matrix.mulVec_smul_assoc

Modification history