Theorem RootPairing.coxeterWeightIn_le_four

Modification history