Theorem Polynomial.natDegree_not_mem_eraseLead_support

Modification history