MDLD/divides (polynomial ring 1)
Appearance
< 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