Theorem Matrix.mulVec_smul

Modification history