Korollar 9.17
Kurs:Funktionentheorie (Osnabrück 2023-2024)/Vorlesung 9 Formaler Potenzreihenring/Eine Variable/Diskreter Bewertungsring/Fakt