Theorem Polynomial.degree_le_iff_coeff_zero

Modification history