Theorem RootPairing.coxeterWeight_non_neg

Modification history