Theorem Matrix.smul_eq_mul_diagonal

Modification history