Kurs:Algebraische Kurven/Endlich erzeugte K-Algebren/K-Spektren als Funktor/Verschiedene Homomorphismen/Fakt/Faktreferenznummer

Proposition 12.8 (Algebraische Kurven (Osnabrück 2017-2018))