Theorem Matrix.invOf_submatrix_equiv_eq

Modification history