Theorem Polynomial.degree_intCast_le

Modification history