Theorem RootPairing.reflection_perm_eq_of_pairing_eq_zero

Modification history