Theorem RootPairing.pairingIn_neg_two_neg_two_iff

Modification history