Theorem Matrix.mul_smul

Modification history