MDLUL/Ring der formalen Potenzreihen

Start=Ring der formalen Potenzreihen

MDLUL/Ring der formalen Potenzreihen

Ziel=Potenzreihenring/Endlich_viele_Variablen/Definition