Kurs:Funktionentheorie/Metrischer Raum/Abgeschlossen/Charakterisierung mit konvergenten Folgen/Fakt/Faktreferenznummer

Satz 33.16 (Analysis (Osnabrück 2021-2023))