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)






leanprover-community/mathlib,leanprover-community/mathlib