Commit 2021-11-14 20:27 0c8f53e5
View on Github →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
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