Kurs:Differentialgeometrie/Hyperfläche/Raum/Parametrisierung/Weingartenabbildung/Fundamentalformen/Fakt/Faktreferenznummer

Lemma 19.3 (Differentialgeometrie (Osnabrück 2023))