Holomorphic primitive
= Holomorphic primitive
{title2=$F'=f$}
A holomorphic primitive of $f$ is a <holomorphic function> $F$ with $F'=f$. A holomorphic $f$ on a domain has such a primitive exactly when its integrals around all closed piecewise smooth curves vanish. Integrating from a fixed starting point then constructs a path-independent primitive.