Theorem RootPairing.neg_mem_range_coroot_iff

Modification history