Def LieAlgebra.Basis.borelLower

Modification history

2026-03-25 09:29

Mathlib/Algebra/Lie/Basis.lean

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

Added LieAlgebra.Basis.borelLower View on Github →