Commit 2023-06-10 08:21 52608a67

View on Github →

feat: port Algebra.Lie.CartanMatrix (#4930)

Estimated changes

Modified Mathlib.lean

Created Mathlib/Algebra/Lie/CartanMatrix.lean

added def CartanMatrix.E₆

added def CartanMatrix.E₇

added def CartanMatrix.E₈

added def CartanMatrix.F₄

added inductive CartanMatrix.Generators

added def CartanMatrix.G₂

added def CartanMatrix.Relations.EF

added def CartanMatrix.Relations.HE

added def CartanMatrix.Relations.HF

added def CartanMatrix.Relations.HH

added def CartanMatrix.Relations.adE

added def CartanMatrix.Relations.adF

added def CartanMatrix.Relations.toIdeal

added def CartanMatrix.Relations.toSet

added def Matrix.ToLieAlgebra