Kurs:Körper- und Galoistheorie/Körpererweiterung/Festlegung auf Erzeugendensystem/Fakt/Faktreferenznummer

Lemma 10.14 (Körper- und Galoistheorie (Osnabrück 2018-2019))