Aufgabe 7.16
Kurs:Differentialgeometrie (Osnabrück 2023)/Vorlesung 7 Einheitssphäre/Metrik über Großkreis/Aufgabe
