Theorem Polynomial.degree_restriction

Modification history