Theorem Polynomial.eraseLead_degree_le

Modification history