Theorem Matrix.vecMul_smul

Modification history