Theorem Polynomial.eraseLead_monomial

Modification history