Revision as of 20:07, 20 February 2004 edit AxelBoldt (talk \| contribs) Administrators 44,650 edits mNo edit summary ← Previous edit		Revision as of 20:55, 11 March 2004 edit undo 68.84.52.191 (talk) Tiny grammar thing Next edit →
Line 12: :       = sup {α<sub>''n''+1</sub> : ''n'' < ω} :       = β (The last step uses the fact that the sequence <α<sub>''n''</sub>> increases). == Example application ==

Fixed-point lemma for normal functions: Difference between revisions