Theorem Polynomial.natDegree_eraseLead

Modification history