Theorem Polynomial.coeff_one_zero

Modification history