Satz 19.16 Kurs:Mathematik (Osnabrück 2009-2011)/Teil I/Vorlesung 19
Metrischer Raum/Abgeschlossen/Charakterisierung mit konvergenten Folgen/Fakt