Theorem Polynomial.root_right_of_root_gcd

Modification history