Theorem RootPairing.reflectionPerm_eq_of_pairing_eq_zero

Modification history