Commit 2025-12-17 09:13 1bc0173a

View on Github →

feat(Data/Matrix/Cartan): diagonal theorems for exceptional matrices (#32967) Add theorems proving all diagonal entries of exceptional Cartan matrices are 2:

  • E₆_diag
  • E₇_diag
  • E₈_diag
  • F₄_diag
  • G₂_diag

Estimated changes

added theorem CartanMatrix.E₆_diag
added theorem CartanMatrix.E₇_diag
added theorem CartanMatrix.E₈_diag
added theorem CartanMatrix.F₄_diag
added theorem CartanMatrix.G₂_diag