Theorem Matrix.smul_single

Modification history