Theorem LinearMap.isNilpotent_trace_of_isNilpotent

Modification history

2023-09-04 22:10
Mathlib/LinearAlgebra/Trace.lean
feat: further theory about the Killing form of Lie algebras (#6737)
Added LinearMap.isNilpotent_trace_of_isNilpotentView on Github →