Theorem LieAlgebra.Basis.coroot_eq_h'

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