Theorem Matrix.col_eq_transpose

Modification history