Theorem RootPairing.weylGroup.ofIdx_smul

Modification history