Commit 2025-03-20 18:56 72e2d8af
View on Github →feat: off-diagonal entries of Cartan matrices belong to {-3, -2, -1, 0} (#23077)
Given a finite crystallographic root pairing with base over a characteristic zero ring, the off-diagonal Cartan matrix entries belong to {-3, -2, -1, 0}.