Theorem RootPairing.reflectionPerm_eq_of_pairing_eq_zero'

Modification history