Start=reelles Polynom

MDLUL/reelles Polynom

Ziel=Körper/Polynom in einer Variablen/Definition