Mathlib v3 is deprecated. Go to Mathlib v4

Def cartan_matrix.relations.ad_F

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