Aufgabe 11.1
Kurs:Differentialgeometrie (Osnabrück 2023)/Vorlesung 11 Produkt von Mannigfaltigkeiten/Ist Mannigfaltigkeit/Aufgabe