Theorem RootPairing.pairingIn_neg_one_neg_four_iff

Modification history