Lemma 9.10
Kurs:Differentialgeometrie (Osnabrück 2023)/Vorlesung 9 Tangentialabbildung/Punktweise/Elementare Eigenschaften/Fakt
