Kurs:Differentialgeometrie/Flächenstück im Raum/Einbettung/Flächenform/Fakt/Faktreferenznummer

Korollar 17.2 (Differentialgeometrie (Osnabrück 2023))