Kurs:Funktionentheorie/Sternförmige Menge/Kontrahierbarer Raum/Fakt/Faktreferenznummer

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