Complex antiderivative
ID: complex-antiderivative
A holomorphic function on a domain with complex derivative . Its contour integral satisfies by the chain rule along each smooth contour segment. In particular every closed contour has integral zero. Having local complex antiderivatives need not provide a single one on a domain with holes.
New to topics? Read the docs here!