Theorem RootPairing.Base.root_sub_mem_iff_root_add_mem

Modification history