Editing Fixed-point theorem (section)

== List of fixed-point theorems ==
{{Div col|colwidth=25em}}
*[[Atiyah–Bott fixed-point theorem]]
*[[Banach fixed-point theorem]]
*[[Bekić's theorem]]
*[[Borel fixed-point theorem]]
*[[Bourbaki&ndash;Witt theorem]]
*[[Browder fixed-point theorem]]
*[[Brouwer fixed-point theorem]]
*[[Rothe's fixed-point theorem]]
*[[Caristi fixed-point theorem]]
*[[Diagonal lemma]], also known as the fixed-point lemma, for producing self-referential sentences of [[first-order logic]]
*[[Lawvere's fixed-point theorem]]
*[[Discrete fixed-point theorem]]s
*[[Earle-Hamilton fixed-point theorem]]
*[[Fixed-point combinator]], which shows that every term in untyped [[lambda calculus]] has a fixed point
*[[Fixed-point lemma for normal functions]]
*[[Fixed-point property]]
*[[Fixed-point theorems in infinite-dimensional spaces]]
*[[Injective metric space]]
*[[Kakutani fixed-point theorem]]
*[[Kleene fixed-point theorem]]
*[[Knaster–Tarski theorem]]
*[[Lefschetz fixed-point theorem]]
*[[Nielsen fixed-point theorem]]
*[[Poincaré–Birkhoff theorem]] proves the existence of two fixed points
*[[Ryll-Nardzewski fixed-point theorem]]
*[[Schauder fixed-point theorem]]
*[[Topological degree theory]]
*[[Tychonoff fixed-point theorem]]
{{div col end}}