Theorem RootPairing.Base.pairingIn_le_zero_of_ne

Modification history