Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-07-15 16:32 66055ddf

View on Github →

feat(algebra/lie/cartan_matrix): define the exceptional Lie algebras (#8299)

Estimated changes

Modified docs/references.bib

Modified src/algebra/lie/cartan_matrix.lean

added def cartan_matrix.E₆

added def cartan_matrix.E₇

added def cartan_matrix.E₈

added def cartan_matrix.F₄

added def cartan_matrix.G₂

added def lie_algebra.e₆

added def lie_algebra.e₇

added def lie_algebra.e₈

added def lie_algebra.f₄

added def lie_algebra.g₂