Theorem RootPairing.reflection_mem_weylGroup

Modification history