Kurs:Mathematik für Anwender/Intervall/Stammfunktion/Konstante Differenz/Fakt/Faktreferenznummer

Lemma 19.6 (Mathematik für Anwender (Osnabrück 2023-2024))