MDLD/greatest common divisor (polynomial)

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