Content deleted Content added
Arthur Rubin (talk | contribs) |
→Proof that normal functions commute with suprema: new section |
||
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.
|