Kurs:Analysis/Reelle Zahlen/Abgeschlossen in Teilmengen/Supremum/Fakt/Faktreferenznummer

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