Theorem Polynomial.lt_natDegree_of_mem_eraseLead_support

Modification history