Theorem RootPairing.weylGroupToPerm_apply_reflection

Modification history