Theorem Matrix.row_cons

Modification history