Kurs:Differentialgeometrie (Osnabrück 2023)/Differenzierbare Mannigfaltigkeit/Abbildung/Tangentialabbildung/Eigenschaften/Fakt/Faktreferenznummer