Theorem Polynomial.root_left_of_root_gcd

Modification history