Theorem LieModule.traceForm_lieInvariant

Modification history

2024-05-31 11:21

Mathlib/Algebra/Lie/TraceForm.lean

feat(Algebra/Lie): Killing Lie algebras are semisimple (#13265)

Added LieModule.traceForm_lieInvariant View on Github →