This is analogous to the result from basic complex analysis that a function is analytic if it is complex differentiable in an open set .
Is a fundamental result in the study of infinite dimensional holomorphy .
This is analogous to the result from basic complex analysis that a function is analytic if it is complex differentiable in an open set , and is a fundamental result in the study of infinite dimensional holomorphy .