Theorem Polynomial.coeff_sub_eq_neg_right_of_lt

Modification history