Theorem RootPairing.weylGroup.induction'

Modification history