Kurs:Analysis/Reelle Exponentialfunktion/Basis/Über Logarithmus/Definition/Definitionreferenznummer

Definition 17.4 (Analysis (Osnabrück 2021-2023))