Kurs:Analysis/Exponentialreihe/Komplex/Elementare Eigenschaften/Fakt/Faktreferenznummer

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