Kurs:Analysis/Natürlicher Logarithmus/Ableitung/Fakt/Faktreferenznummer

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