Theorem Polynomial.eraseLead_add_of_natDegree_lt_right

Modification history