Theorem Polynomial.ofFn_coeff_eq_zero_of_ge

Modification history