MDLD/divides (polynomial ring 1)

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