Theorem LieModule.traceForm_apply_lie_apply'

Modification history

2024-05-07 18:06

Mathlib/Algebra/Lie/Killing.lean

chore: split Mathlib.Algebra.Lie.Killing (#12735)

Modified LieModule.traceForm_apply_lie_apply'View on Github →

2023-10-13 13:56

Mathlib/Algebra/Lie/Killing.lean

feat: a non-singular Killing form remains non-singular when restricted to a Cartan subalgebra (#7613) …

Added LieModule.traceForm_apply_lie_apply'View on Github →