Kurs:Elementare Algebra/Algebraische Körpererweiterung/Minimalpolynom ist irreduzibel/Umkehrung/Fakt/Faktreferenznummer

Lemma 23.2 (Elemente der Algebra (Osnabrück 2024-2025))