Mathlib v3 is deprecated. Go to Mathlib v4

Def lie_algebra.special_linear.Eb

Modification history

2020-05-01 15:51

src/algebra/classical_lie_algebras.lean

feat(algebra/lie_algebra): define simple Lie algebras and define classical Lie algebra, slₙ (#2567) …

Added lie_algebra.special_linear.Eb View on Github →