MDLD/coprime polynomials

Start=coprime polynomials Target=Polynomial ring/K/Relatively prime/Definition