Theorem Polynomial.coeff_update_same

Modification history