Definition Let F:D→C be a holomorphic function. Suppose F′(z)=f(z) for all z∈D. Then F is an antiderivative of f on D.