Theorem Polynomial.eraseLead_coeff_natDegree

Modification history