MDLD/polynomials (R)

Start=polynomials (R) Target=Polynomial/Field/1/Definition