Fixed-point lemma for normal functions: Difference between revisions

Content deleted Content added
Cydebot (talk | contribs)
m Robot - Speedily moving category Fixed point theorems to Category:Fixed-point theorems per CFDS.
Line 50:
 
[[Category:Ordinal numbers]]
[[Category:Fixed -point theorems|Normal Functions]]
[[Category:Lemmas]]
[[Category:Articles containing proofs]]