Theorem RootPairing.reflection_perm_eq_reflection_perm_iff_of_isSMulRegular

Modification history