Theorem Polynomial.coeff_update_ne

Modification history