Content deleted Content added
Trace formula->Trace formula (Sorry, hopefully now it is correctly linked according to WP:INTDABLINK) Tags: Visual edit Disambiguation links added |
|||
Line 90:
*[[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]]
| |||