Korollar 33.17
Kurs:Analysis (Osnabrück 2014-2016)/Teil II/Vorlesung 33
Reelle Zahlen/Abgeschlossene nach oben beschränkte Menge/Enthält Supremum/Fakt