Kurs:Analysis/Familie komplexer Zahlen/Summierbar/Teilfamilie/Fakt/Faktreferenznummer

Lemma 17.10 (Analysis (Osnabrück 2021-2023))