Great Picard theorem (source code)

= Great Picard theorem
{c}

Near an essential singularity, a holomorphic function takes every complex value, with at most one exception, infinitely often.