MDLUL/reell-abgeschlossen

Start=reell-abgeschlossen

MDLUL/reell-abgeschlossen

Ziel=Reell abgeschlossener Körper/Definition