Mathlib v3 is deprecated. Go to Mathlib v4

Inductive cartan_matrix.generators

Modification history

2021-07-07 12:02

src/algebra/lie/from_cartan_matrix.lean

feat(algebra/lie/from_cartan_matrix): construction of a Lie algebra from a Cartan matrix (#8206)

Added cartan_matrix.generators View on Github →