Riemann removable singularity theorem (source code)

= Riemann removable singularity theorem
{c}

A holomorphic function bounded on a punctured neighbourhood extends holomorphically across the puncture.

This criterion characterizes a <removable singularity> of a holomorphic function; the criterion is a theorem about the singularity type.