Theorem RootPairing.coxeterWeightIn_ne_four

Modification history