Fixed-point lemma for normal functions: Revision history

Filter revisionsshowhide

To date:

Tag filter:

Invert selection

External tools:

For any version listed below, click on its date to view it. For more help, see Help:Page history and Help:Edit summary. (cur) = difference from current version, (prev) = difference from preceding version, m = minor edit, → = section edit, ← = automatic edit summary

curprev 06:2706:27, 20 December 2024 Srich32977 talk contribs 4,140 bytes −70 trim undo Tags: Mobile edit Mobile app edit iOS app edit App section source

curprev 20:3120:31, 11 March 2024 Jlwoodwa talk contribs m 4,210 bytes +24 →References: {{refbegin}} undo

curprev 12:1512:15, 27 October 2023 DerSpezialist talk contribs m 4,186 bytes +24 →Example application: Typography undo

curprev 04:0704:07, 29 December 2021 67.169.69.208 talk 4,162 bytes 0 Added a missing parenthesis in one of the formulas. undo Tag: Visual edit

curprev 23:3823:38, 10 November 2021 DerSpezialist talk contribs m 4,162 bytes +36 →Proof: Use LaTeX Math undo

curprev 13:4813:48, 15 March 2021 PhS talk contribs 4,126 bytes +55 add short description, as per WP:SHORTDESC undo

curprev 23:0923:09, 1 November 2020 Tarnoob talk contribs 4,071 bytes +14 →References: cat. undo

curprev 21:1621:16, 7 May 2020 JRSpriggs talk contribs 4,057 bytes +1 →Background and formal statement: kappa -> lambda for consistency undo
curprev 01:2701:27, 7 May 2020 Jordan Mitchell Barrett talk contribs m 4,056 bytes +16 typo: a<A -> a \in A undo Tag: Visual edit

curprev 15:3915:39, 11 April 2020 OAbot talk contribs m 4,040 bytes +21 Open access bot: doi added to citation with #oabot. undo

curprev 12:5812:58, 23 February 2020 739k9 talk contribs 4,019 bytes +282 →Background and formal statement undo Tags: Mobile edit Mobile web edit

curprev 19:5719:57, 7 September 2019 InternetArchiveBot talk contribs 3,737 bytes +91 Bluelinking 1 books for verifiability.) #IABot (v2.1alpha3 undo

curprev 08:5008:50, 18 February 2019 Citation bot talk contribs m 3,646 bytes −62 Alter: id, isbn. Removed parameters. | You can use this bot yourself. Report bugs here. | User-activated. undo

curprev 06:2406:24, 31 August 2017 KolbertBot talk contribs m 3,708 bytes +1 Bot: HTTP→HTTPS undo

curprev 15:2315:23, 20 August 2017 Headbomb talk contribs m 3,707 bytes +1 →References: clean up, replaced: Trans. Amer. Math Soc. → Trans. Amer. Math. Soc., Trans. Amer. Math. Soc → Trans. Amer. Math. Soc., Trans. Amer. Math. Soc.. → Trans. Amer. Math. Soc. using AWB undo

curprev 12:0112:01, 20 June 2017 CBM talk contribs m 3,706 bytes +4 Manually reviewed edit to replace magic words per local rfc undo

curprev 03:1003:10, 7 February 2017 Dexbot talk contribs m 3,702 bytes −54 Bot: Fixing old jstor links undo

curprev 04:1904:19, 27 June 2016 2604:2000:6044:c600:f5bf:fee3:7c21:f252 talk 3,756 bytes +148 →Proof: Added a tiny detail undo

curprev 11:2811:28, 5 May 2014 Yobot talk contribs m 3,608 bytes −68 WP:CHECKWIKI error fixes using AWB (10093) undo

curprev 01:4901:49, 13 March 2013 Addbot talk contribs m 3,676 bytes −52 Bot: Migrating 1 interwiki links, now provided by Wikidata on d:q5456327 undo

curprev 01:2501:25, 12 May 2012 Helpful Pixie Bot talk contribs m 3,728 bytes +3 ISBNs (Build KH) undo

curprev 07:5707:57, 16 February 2012 Cydebot talk contribs m 3,725 bytes 0 Robot - Speedily moving category Fixed point theorems to Category:Fixed-point theorems per CFDS. undo

curprev 14:3614:36, 2 February 2012 Brad7777 talk contribs 3,725 bytes +8 removed Category:Fixed points; added Category:Fixed point theorems using HotCat undo

curprev 07:1107:11, 31 August 2011 Arthur Rubin talk contribs 3,717 bytes +14 Reverted to revision 444557017 by JRSpriggs: We have consensus; see the article limit ordinal. (TW) undo
curprev 03:2903:29, 31 August 2011 Helpful Pixie Bot talk contribs m 3,703 bytes +6 Dated {{Need consensus}}. (Build p613) undo
curprev 03:2303:23, 31 August 2011 TricksterWolf talk contribs 3,697 bytes −20 Undid revision 444557017 by JRSpriggs (talk) Please follow WP:BRD and discuss before editing so we can achieve consensus; I'm sure there is a solution that satisfies us both. undo

curprev 03:0203:02, 13 August 2011 JRSpriggs talk contribs 3,717 bytes +40 →Background and formal statement: avoid implying that zero is a limit undo

curprev 14:1514:15, 12 August 2011 TricksterWolf talk contribs 3,677 bytes +8 →Background and formal statement: Added "nonzero" for correctness as several authors consider 0 to be a limit ordinal, but do not require continuity at this point. undo

curprev 13:5813:58, 27 June 2011 Markhurd talk contribs m 3,669 bytes +57 +Category:Articles containing proofs; ±Category:Fixed points using HotCat undo

curprev 02:0502:05, 8 April 2011 Citation bot 1 talk contribs m 3,612 bytes +18 [Pu334]+: isbn, jstor, issn. undo

curprev 08:0608:06, 10 March 2011 JRSpriggs talk contribs 3,594 bytes +3 →Example application: use omega rather than aleph because we are talking about ordinals undo
curprev 07:0607:06, 10 March 2011 173.180.185.207 talk 3,591 bytes +2 →Background and formal statement undo

curprev 16:0116:01, 25 September 2010 LucienBOT talk contribs m 3,589 bytes +52 robot Adding: es:Lema del punto fijo para funciones normales undo

curprev 15:5515:55, 10 June 2010 Citation bot 1 talk contribs m 3,537 bytes +84 Citations: [Pu162]+: url. Tweaked: publisher. You can use this bot yourself! Report bugs here. undo

curprev 15:2315:23, 29 December 2009 JRSpriggs talk contribs 3,453 bytes +9 →Background and formal statement: sup {} = 0, but f(0) may not be 0 undo
curprev 07:3607:36, 29 December 2009 71.119.248.102 talk 3,444 bytes +244 →Background and formal statement undo

curprev 20:0420:04, 13 May 2009 Giftlite talk contribs m 3,200 bytes 0 →Proof: +. undo

curprev 19:3019:30, 11 May 2009 87.68.85.106 talk 3,200 bytes +3 No edit summary undo

curprev 03:4703:47, 9 October 2008 JRSpriggs talk contribs 3,197 bytes +5 →References: push down to subcategory "Ordinals numbers" of "Set theory" undo

curprev 14:1714:17, 30 June 2008 DOI bot talk contribs m 3,192 bytes −1 Citation maintenance. Formatted: title. You can use this bot yourself! Please report any bugs. undo

curprev 19:2619:26, 20 June 2008 DOI bot talk contribs m 3,193 bytes +13 Citation maintenance. You can use this bot yourself! Please report any bugs. undo

curprev 09:1309:13, 3 May 2008 DOI bot talk contribs m 3,180 bytes +24 DOI and citation tidying. Problems? Contact the bot's operator. undo

curprev 20:3320:33, 5 October 2007 CBM talk contribs m 3,156 bytes +2 →Background and formal statement: typo 2 undo
curprev 20:3220:32, 5 October 2007 CBM talk contribs m 3,154 bytes −2 →Background and formal statement: typo undo
curprev 20:0020:00, 5 October 2007 CBM talk contribs 3,156 bytes +1,469 add a reference and expand some undo

curprev 00:2700:27, 29 November 2006 SmackBot talk contribs m 1,687 bytes +16 Date the maintenance tags using AWB undo

curprev 17:4617:46, 26 July 2006 WinBot talk contribs m 1,671 bytes −192 BOT - Unicodifying undo

curprev 11:4211:42, 14 February 2006 49TL talk contribs 1,863 bytes −4 AWB assisted clean up undo

curprev 17:1617:16, 9 February 2006 128.227.168.244 talk 1,867 bytes +1 No edit summary undo

curprev 03:4803:48, 1 February 2006 Kzollman talk contribs m 1,866 bytes +34 unref undo

20 December 2024

11 March 2024

27 October 2023

29 December 2021

10 November 2021

15 March 2021

1 November 2020

7 May 2020

11 April 2020

23 February 2020

7 September 2019

18 February 2019

31 August 2017

20 August 2017

20 June 2017

7 February 2017

27 June 2016

5 May 2014

13 March 2013

12 May 2012

16 February 2012

2 February 2012

31 August 2011

13 August 2011

12 August 2011

27 June 2011

8 April 2011

10 March 2011

25 September 2010

10 June 2010

29 December 2009

13 May 2009

11 May 2009

9 October 2008

30 June 2008

20 June 2008

3 May 2008

5 October 2007

29 November 2006

26 July 2006

14 February 2006

9 February 2006

1 February 2006