Theorem Matrix.col_cons

Modification history