Theorem RootPairing.zero_le_pairingIn_of_root_sub_mem

Modification history