MDLD/polynomial (1)

Start=polynomial (1) Target=Polynomial/Field/1/Definition