MDLUL/Polynomring (mehrere Variablen)

Start=Polynomring (mehrere Variablen)

MDLUL/Polynomring (mehrere Variablen)

Ziel=Polynomring/Körper/n_Variablen/Definition