Theorem RootPairing.pairingIn_two_two_iff

Modification history