Kurs:Algebraische Kurven (Osnabrück 2017-2018)/Formaler Potenzreihenring/Eine Variable/Einsetzen ergibt Ringhomomorphismus/Fakt/Faktreferenznummer