Ramification point of a holomorphic map (source code)

= Ramification point of a holomorphic map

A point $p$ is ramified when its local degree $e_p$ is greater than one.