Satz 33.16
Kurs:Analysis (Osnabrück 2014-2016)/Teil II/Vorlesung 33
Metrischer Raum/Abgeschlossen/Charakterisierung mit konvergenten Folgen/Fakt