Kurs:Analysis/Gradientenfeld/Wegintegral/Berechnung/Fakt/Faktreferenznummer

Lemma 57.8 (Analysis (Osnabrück 2021-2023))