Theorem RootPairing.exists_root_eq_smul_of_mem_weylGroup

Modification history