Local degree of a holomorphic map (source code)

= Local degree of a holomorphic map
{title2=$m_f(p)$}

= Local degrees of a holomorphic map
{synonym}

If a nonconstant holomorphic map has local-coordinate expression
$$
f(z)-f(p)=a(z-p)^m+O((z-p)^{m+1}),
\qquad a\ne0,
$$
then $m=m_f(p)$ is its local degree, multiplicity, or ramification index at $p$.