Theorem Polynomial.coeff_natDegree_eq_zero_of_degree_lt

Modification history