Theorem RootPairing.reflectionPerm_eq_reflectionPerm_iff_of_span

Modification history