Commit 2025-12-13 14:05 76c18ba4

feat(Algebra/Lie/CartanMatrix): add Cartan matrices for classical typ… (#32763) Add Cartan matrices for the classical infinite families of simple Lie algebras:

• CartanMatrix.A : Type A_{n-1} (rank n-1, sl(n))
• CartanMatrix.B : Type B_n (rank n, so(2n+1))
• CartanMatrix.C : Type C_n (rank n, sp(2n))
• CartanMatrix.D : Type D_n (rank n, so(2n), requires n >= 4) Include diagonal theorems, explicit small cases (A_1, A_2, A_3), and Lie algebra abbreviations via ToLieAlgebra.