mathlib3

7959d982 - feat(linear_algebra/matrix.determinant): add `matrix.det_neg` (#12396)