Kurs:Analysis/Hauptsatz der Infinitesimalrechnung/Riemann/Fakt/Faktreferenznummer

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