Kurs:Funktionentheorie/Reelle Zahlen/Abgeschlossene nach oben beschränkte Menge/Enthält Supremum/Fakt/Faktreferenznummer

Korollar 33.18 (Analysis (Osnabrück 2021-2023))