Theorem RootPairing.reflectionPerm_eq_reflectionPerm_iff_of_isSMulRegular

Modification history