Theorem Matrix.updateCol_submatrix_equiv

Modification history