Theorem LieAlgebra.Basis.cartanMatrix_base_eq

Modification history

2026-07-22 17:55

Mathlib/Algebra/Lie/Basis/Base.lean

chore: split file `Algebra.Lie.Algebra.Basis` (#41985)

Modified LieAlgebra.Basis.cartanMatrix_base_eq View on Github →

2026-03-25 09:29

Mathlib/Algebra/Lie/Basis.lean

feat: define bases of semisimple Lie algebras and add API (#36298)

Added LieAlgebra.Basis.cartanMatrix_base_eq View on Github →