Mathlib v3 is deprecated. Go to Mathlib v4

Def lie_algebra.f₄

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