Theorem Polynomial.coeff_C_zero

Modification history