Kurs:Funktionentheorie/Vektorraum/Offen/Vektorwertige 1-Form/Wegintegral/Längenabschätzung/Fakt/Faktreferenznummer

Lemma 12.10 (Funktionentheorie (Osnabrück 2023-2024))