ThmDex – An index of mathematical definitions, results, and conjectures.
Goursat's theorem for rectangles
Formulation 0
Let $U \subseteq \mathbb{C}$ be a D5008: Standard open complex set such that
(i) $f : U \to \mathbb{C}$ is a D1392: Holomorphic function on $U$
(ii) $R \subseteq \mathbb{C}$ is a D5000: Complex rectangle
(iii) \begin{equation} \text{int}(R) \subseteq U \end{equation}
Then \begin{equation} \int_R f(z) \, d z = 0 \end{equation}