Theorem RootPairing.reflection_perm_eq_iff_smul_root

Modification history