Theorem Matrix.smul_one_eq_diagonal

Modification history