Theorem RootPairing.two_nsmul_reflection_eq_of_perm_eq

Modification history