Mathlib v3 is deprecated. Go to Mathlib v4

Def cartan_matrix.relations.to_ideal

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.relations.to_ideal View on Github →