Theorem RootPairing.forall_pairingIn_eq_swap_or

Modification history