Theorem Polynomial.coeff_update_apply

Modification history