MDLUL/separabel (Polynom)

Start=separabel (Polynom)

MDLUL/separabel (Polynom)

Ziel=Separables_Polynom/Über_Erweiterungskörper/Definition