Lemma 11.8
Kurs:Differentialgeometrie (Osnabrück 2023)/Vorlesung 11 Mannigfaltigkeit/Vektorfelder/Lie-Klammer/Eigenschaften/Fakt