Kurs:Differentialgeometrie (Osnabrück 2023)/Offene Menge/R^n/Vektorfelder/Lie-Klammer/Vektorfeld/Fakt/Faktreferenznummer