MDLD/greatest common divisor (polynomial ring)

Start=greatest common divisor (polynomial ring) Target=Polynomial ring/K/Greatest common divisor/Definition