Theorem Matrix.smul_mat_cons

Modification history