Kurs:Differentialgeometrie/Hyperfläche/Weingartenabbildung/Tangentialraum/Fakt/Faktreferenznummer

Lemma 4.2 (Differentialgeometrie (Osnabrück 2023))