Theorem RootPairing.reflection_perm_eq_iff_smul_coroot

Modification history