Theorem Polynomial.degree_gcd_le_right

Modification history