Theorem Polynomial.degree_pow_le_of_le

Modification history