Theorem Polynomial.natDegree_ne_zero_induction_on

Modification history