Theorem RootPairing.forall_pairing_eq_swap_or

Modification history