mathlib3

2e4813dd - feat(linear_algebra/matrix/nonsingular_inverse): add invertible_equiv_det_invertible (#10222)