Theorem Polynomial.coeff_X_zero

Modification history