Theorem Matrix.isUnit_submatrix_equiv

Modification history