Kurs:Differentialgeometrie (Osnabrück 2023)/Mannigfaltigkeit/Vektorfelder/Lie-Klammer/Eigenschaften/Fakt/Faktreferenznummer