ThmDex – An index of mathematical definitions, results, and conjectures.
Formulation F10798 on R1577: Cauchy's theorem for a disc
F10798
Formulation 0
Let $D \subseteq \mathbb{C}$ be an D4995: Open complex disc such that
(i) $f : D \to \mathbb{C}$ is a D1392: Holomorphic function on $D$
(ii) $\gamma \subseteq C$ is an D5023: Oriented complex curve
(iii) $\gamma$ is a D5646: Closed complex curve
Then \begin{equation} \int_{\gamma} f(z) \, d z = 0 \end{equation}