Evaluation map on a space of germs (source code)

= Evaluation map on a space of germs

The evaluation map $\mathcal E([f]_z)=f(z)$ is holomorphic. On the sheet associated with $(U,f)$, its coordinate expression is exactly the holomorphic function $f$.