Kurs:Funktionentheorie/Komplexe Potenzreihen/Nullstellen/Häufungspunkt ist Entwicklungspunkt/Nullreihe/Fakt/Faktreferenznummer

Lemma 8.9 (Funktionentheorie (Osnabrück 2023-2024))