Theorem RootPairing.range_weylGroupToPerm

Modification history