mathlib

0c8f53e5 - feat(linear_algebra/trace): add lemmas about trace of linear maps (#10279)

feat(linear_algebra/trace): add lemmas about trace of linear maps (#10279) Lemmas for the trace of the identity and the trace of a conjugation Co-authored-by: antoinelab01 <66086247+antoinelab01@users.noreply.github.com>