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

Korollar 57.9 (Analysis (Osnabrück 2021-2023))