Korollar 19.8
Kurs:Singularitätentheorie (Osnabrück 2019)/Vorlesung 19 Algebra/Körper/Endlicher Typ/Integer/Nenneraufnahme/Dimension/Fakt