Theorem RootPairing.reflectionPerm_eq_iff_smul_coroot

Modification history