MDLUL/Potenzreihenring (1K)

Start=Potenzreihenring (1K)

MDLUL/Potenzreihenring (1K)

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