Let $U \subseteq \mathbb{C}$ be a D5008: Standard open complex set such that
(i) | $f : U \to \mathbb{C}$ is a D5635: Standard-continuous complex function on $U$ |
(ii) | $F : U \to \mathbb{C}$ is a D5005: Complex function primitive for $f$ on $U$ |
(iii) | $\gamma \subseteq U$ is an D5023: Oriented complex curve |
(iv) | \begin{equation} \text{Start}(\gamma) = z_0, \quad \text{End}(\gamma) = z_1 \end{equation} |
Then
\begin{equation}
\int_{\gamma} f(z) \, d z
= F(z_1) - F(z_0)
\end{equation}