Talk:Fixed-point lemma for normal functions: Difference between revisions

Content deleted Content added
TheKing44 (talk | contribs)
Line 8:
 
:Per [[WP:BRD]], the status of the article before you started editing it should be used until consensus is obtained; i.e., zero is '''not''' a [[limit ordinal]]. — [[User:Arthur Rubin|Arthur Rubin]] [[User talk:Arthur Rubin|(talk)]] 07:15, 31 August 2011 (UTC)
 
== Proof that normal functions commute with suprema ==
 
 
It seems like this should be proven, since the Fixed-point lemma is then just a corollary of that fact.