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