Theorem Polynomial.eraseLead_ne_zero

Modification history