Theorem RootPairing.zero_lt_pairing_iff

Modification history