MDLUL/separables Polynom

Start=separables Polynom

MDLUL/separables Polynom

Ziel=Separables_Polynom/Über_Erweiterungskörper/Definition