Theorem Polynomial.degree_normalize

Modification history