Theorem RootPairing.pairingIn_le_zero_of_root_add_mem

Modification history