mathlib3

8986c4fd - chore(linear_algebra/matrix/determinant): squeeze some simps for speed up (#8156)

chore(linear_algebra/matrix/determinant): squeeze some simps for speed up (#8156) I simply squeezed some simps in `linear_algebra/matrix/determinant` to obtain two much faster proofs. [Zulip discussion](https://leanprover.zulipchat.com/#narrow/stream/144837-PR-reviews)