Theorem Polynomial.coeff_C_ne_zero

Modification history