Theorem Polynomial.coeff_add_eq_right_of_lt

Modification history