Identity theorem on a Riemann surface (source code)

= Identity theorem on a Riemann surface

Two holomorphic functions on a connected Riemann surface that agree on a set with an accumulation point agree everywhere. Local charts reduce the proof to isolated zeros of a one-variable holomorphic function.