Theorem Polynomial.eraseLead_C_mul_X

Modification history