Definition 24.9
Kurs:Algebraische Kurven (Osnabrück 2012)/Vorlesung 24 Formaler Potenzreihenring/Eine Variable/Einsetzen von Potenzreihen mit Konstante null/Definition
