Theorem Polynomial.degree_mono

Modification history