Theorem LinearMap.trace_lie

Modification history

2024-02-15 11:58
Mathlib/LinearAlgebra/Trace.lean
feat: add lemma `LinearMap.trace_lie` and move `Bracket` instance (#10584) …
Added LinearMap.trace_lieView on Github →