Theorem Polynomial.eraseLead_X

Modification history