Theorem RootPairing.Base.not_nonpos_iff_pos_of_sum_mem_range_root

Modification history