Mathlib

Atlas/Analysis/Complex analysis

Poles and meromorphic functions

1/4

A pole is a place where a holomorphic function goes to infinity, like 1/z at the origin.