Theorem Polynomial.degree_quadratic_le

Modification history