Kurs:Differentialgeometrie (Osnabrück 2023)/Mannigfaltigkeit/Differentialoperator/Erste Ordnung/Definition/Definitionreferenznummer