Theorem Polynomial.eraseLead_add_of_natDegree_lt_left

Modification history