Holomorphe Differentialform/C/Wegintegral/Integralüberlagerung/Fakt
Es sei eine holomorphe Funktion mit der zugehörigen holomorphen Differentialform und sei
ein stetiger, stückweise stetig-differenzierbarer Weg.
Dann ist
wobei
eine Liftung in die Integralüberlagerung ist und die Stammform auf bezeichnet.