Theorem RootPairing.reflection_perm_eq_of_pairing_eq_zero'

Modification history