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