Theorem LieIdeal.killingForm_eq

Modification history

2024-05-07 18:06

Mathlib/Algebra/Lie/Killing.lean

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

Modified LieIdeal.killingForm_eq View on Github →

2023-09-04 22:10

Mathlib/Algebra/Lie/Killing.lean

feat: further theory about the Killing form of Lie algebras (#6737)

Added LieIdeal.killingForm_eq View on Github →