Theorem Polynomial.eraseLead_C

Modification history