Kurs:Differentialgeometrie (Osnabrück 2023)/Mannigfaltigkeit/Differentialform/Lokale Beschreibung/Fakt/Faktreferenznummer