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