Mathlib v3 is deprecated. Go to Mathlib v4

Def lie_algebra.e₇

Modification history

2021-07-15 16:32
src/algebra/lie/cartan_matrix.lean
feat(algebra/lie/cartan_matrix): define the exceptional Lie algebras (#8299)
Added lie_algebra.e₇View on Github →