Theorem RootPairing.weylGroup_toSubmonoid

Modification history