Theorem LieModule.traceForm_eq_sum_finrank_nsmul'

Modification history

2024-10-04 10:12
Mathlib/Algebra/Lie/TraceForm.lean
feat: the canonical bilinear form of the root system of a Lie algebra is the Killing form (#17392) …
Added LieModule.traceForm_eq_sum_finrank_nsmul'View on Github →