Lemma 12.11
Kurs:Riemannsche Flächen (Osnabrück 2022)/Vorlesung 12 Riemannsche Fläche/Ausbreitungsraum/Hausdorff/Fakt