Theorem RootPairing.weylGroup.induction

Modification history