Content deleted Content added
m clean up using AWB |
→List of fixed point theorems: Added link to Fixed Point lemme for normal functions |
||
Line 88:
*[[Caristi fixed-point theorem]]
*[[Diagonal lemma]], also known as the fixed-point lemma, for producing self-referential sentences of [[first-order logic]]
*[[Fixed-point lemma for normal functions]]
*[[Fixed-point property]]
*[[Injective metric space]]
| |||