ThmDex – An index of mathematical definitions, results, and conjectures.
Result R1576 on D5005: Complex function primitive
Holomorphic function on open set has primitive on that set
Also known as
Local existence of primitives, Holomorphic function has a primitive locally