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.