Theorem Matrix.adjugate_submatrix_equiv_self

Modification history