Theorem RootPairing.zero_lt_pairingIn_iff

Modification history