MDLUL/Polynomring (n, Körper)

Start=Polynomring (n, Körper)

MDLUL/Polynomring (n, Körper)

Ziel=Polynomring/Körper/n Variablen/Direkt/Definition