Fixed-point theorem (source code)

= Fixed-point theorem
{wiki}

A fixed-point theorem gives conditions under which a map $T$ has a point satisfying $Tx=x$.