Theorem Polynomial.two_le_natDegree_of_nextCoeff_eraseLead

Modification history