Theorem Polynomial.natDegree_le_iff_coeff_eq_zero

Modification history