Start=Homogenisierung

MDLUL/Homogenisierung

Ziel=Polynomring/Polynom/Homogenisierung mit neuer Variablen/Definition