Theorem RootPairing.coxeterWeight_nonneg

Modification history