Kurs:Analysis/Reelle Exponentialfunktion/Ableitung/Fakt/Faktreferenznummer

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