Revision as of 22:24, 1 February 2024 edit Cewbot (talk \| contribs) Bots 8,373,693 edits m Maintain {{WPBS}} and vital articles: 1 WikiProject template. Create {{WPBS}}. Keep majority rating "Start" in {{WPBS}}. Remove 1 same rating as {{WPBS}} in {{Maths rating}}. Remove 1 deprecated parameter: field. Tag: Talk banner shell conversion ← Previous edit		Latest revision as of 20:32, 11 March 2024 edit undo Jlwoodwa (talk \| contribs) Autopatrolled, Administrators 106,316 edits →Proof that normal functions commute with suprema: unsigned
Line 13: It seems like this should be proven, since the Fixed-point lemma is then just a corollary of that fact. <!-- Template:Unsigned --><small class="autosigned">— Preceding [[Wikipedia:Signatures\|unsigned]] comment added by [[User:TheKing44\|TheKing44]] ([[User talk:TheKing44#top\|talk]] • [[Special:Contributions/TheKing44\|contribs]]) 00:51, 28 October 2017 (UTC)</small>

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