MDLD/divide (polynomial ring 1)

Start=divide (polynomial ring 1) Target=Polynomial ring/K/Division/Definition