Theorem Polynomial.eraseLead_X_pow

Modification history