Theorem Polynomial.root_gcd_iff_root_left_right

Modification history