Theorem Polynomial.degree_gcd_le_left

Modification history