Theorem RootPairing.Base.cartanMatrix_eq_neg_chainTopCoeff

Modification history