mathlib

1c4d2b7c - feat(linear_algebra/matrix/trace): add `trace_conj_transpose` (#13888)