Kurs:Differentialgeometrie (Osnabrück 2023)/Tangentialabbildung/Punktweise/Elementare Eigenschaften/Fakt/Faktreferenznummer