Kurs:Körper- und Galoistheorie (Osnabrück 2018-2019)/Körpererweiterung/Festlegung auf Erzeugendensystem/Fakt/Faktreferenznummer