Theorem RootPairing.range_weylGroup_weightHom

Modification history