Kurs:Vorkurs Mathematik (Osnabrück 2021)/R/Überabzählbar/Fakt/Faktreferenznummer

Satz 10.13 (Analysis (Osnabrück 2021-2023))