mathlib3

374885af - feat(linear_algebra/matrix/nonsingular_inverse): lemmas about adjugate (#9947)