Theorem Matrix.inv_submatrix_equiv

Modification history