Def LieAlgebra.Basis.borelUpper

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.borelUpper View on Github →