Theorem RootPairing.reflection_perm_eq_reflection_perm_iff_of_span

Modification history