Theorem Polynomial.degree_int_cast_le

Modification history