Theorem Polynomial.eraseLead_natDegree_le_aux

Modification history