Theorem RootPairing.Base.not_nonneg_iff_neg_of_sum_mem_range_root

Modification history