| (i) | $f : U \to \mathbb{C}$ is a D4881: Complex function on $U$ |
| (1) | $F$ is a D1392: Holomorphic function on $U$ |
| (2) | \begin{equation} \forall \, z \in U : F'(z) = f(z) \end{equation} |
| (i) | $f : U \to \mathbb{C}$ is a D4881: Complex function on $U$ |
| (1) | $F$ is a D1392: Holomorphic function on $U$ |
| (2) | \begin{equation} \forall \, z \in U : F'(z) = f(z) \end{equation} |