Theorem RootPairing.Base.sub_notMem_range_coroot

Modification history