ThmDex – An index of mathematical definitions, results, and conjectures.
Formulation F7708 on R3461: Holomorphic function with vanishing derivative on complex domain is constant
F7708
Formulation 0
Let $\Omega \subseteq \mathbb{C}$ be a D4898: Complex domain such that
(i) $f : \Omega \to \mathbb{C}$ is a D1392: Holomorphic function
(ii) \begin{equation} f' = 0 \end{equation}