Theorem Polynomial.degree_lt_iff_coeff_zero

Modification history