Theorem Matrix.row_eq_self

Modification history