Theorem RootPairing.root_sub_root_mem_of_pairingIn_pos

Modification history