Sullivan no-wandering-domain theorem (source code)

= Sullivan no-wandering-domain theorem
{c}
{wiki=Sullivan's_no-wandering-domain_theorem}

Every Fatou component of a rational map of degree at least two is eventually periodic. Thus the periodic-component classification accounts for the entire Fatou set.