Start=Polynomring (n)

MDLUL/Polynomring (n)

Ziel=Polynomring/Körper/n_Variablen/Definition