Theorem Polynomial.isRoot_gcd_iff_isRoot_left_right

Modification history