Theorem Matrix.diag_col_mul_row

Modification history