Theorem Matrix.smul_of

Modification history