mathlib

25ef4f0f - feat(topology/algebra/matrix): more continuity lemmas for matrices (#13009)

feat(topology/algebra/matrix): more continuity lemmas for matrices (#13009) This should cover all the definitions in `data/matrix/basic`, and also picks out a few notable definitions (`det`, `trace`, `adjugate`, `cramer`, `inv`) from other files.