Theorem Matrix.op_smul_one_eq_diagonal

Modification history