Theorem LieIdeal.mem_killingCompl

Modification history

2024-05-07 18:06

Mathlib/Algebra/Lie/Killing.lean

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

Modified LieIdeal.mem_killingCompl 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.mem_killingCompl View on Github →