Definition 11.4
Kurs:Differentialgeometrie (Osnabrück 2023)/Vorlesung 11 Mannigfaltigkeit/Differentialoperator/Erste Ordnung/Definition