Theorem Polynomial.gcd_map

Modification history