MDLUL/formaler Potenzreihenring (1)

Start=formaler Potenzreihenring (1)

MDLUL/formaler Potenzreihenring (1)

Ziel=Potenzreihenring/Eine Variable/Körper/Definition