Theorem Polynomial.eraseLead_natDegree_lt_or_eraseLead_eq_zero

Modification history