Lemma 21.9
Kurs:Bündel, Garben und Kohomologie (Osnabrück 2019-2020)/Vorlesung 21 Diskreter Bewertungsrin/K/Restklassenkörper/Ordnung/Fakt