Lebesgue's number lemma: 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 15:5915:59, 17 October 2024 Citation bot talk contribs 6,124 bytes +25 Added publisher. | Use this bot. Report bugs. | Suggested by Dominic3203 | Category:Lemmas | #UCB_Category 25/76 undo

curprev 01:1101:11, 2 September 2024 18.29.6.163 talk 6,099 bytes −4 →Proof by Contradiction undo

curprev 19:2119:21, 22 August 2024 Woodlot talk contribs m 6,103 bytes 0 spelling undo Tag: Visual edit

curprev 03:2303:23, 29 July 2024 Brunzig talk contribs 6,103 bytes +215 Delta numbers -> Lebesgue's numbers (I think it's more commonplace) undo Tag: Visual edit

curprev 04:0404:04, 21 June 2024 JamesBadFantasy talk contribs m 5,888 bytes 0 →Proof by Contradiction undo Tag: Visual edit
curprev 04:0204:02, 21 June 2024 JamesBadFantasy talk contribs 5,888 bytes +345 →Proof by Contradiction: Cleaned up the proof. undo Tag: Visual edit: Switched

curprev 22:2722:27, 18 May 2024 Hbghlyj talk contribs m 5,543 bytes −1 No edit summary undo
curprev 22:2622:26, 18 May 2024 Hbghlyj talk contribs m 5,544 bytes −13 →Direct Proof undo
curprev 22:2422:24, 18 May 2024 Hbghlyj talk contribs m 5,557 bytes +9 correct a link undo
curprev 22:2422:24, 18 May 2024 Hbghlyj talk contribs 5,548 bytes +9 correct a link undo

curprev 02:3802:38, 6 May 2024 96.250.162.59 talk 5,539 bytes +31 Adding link to sequentially compact space page to emphasis that sequential compactness is equivalent to compactness in a metric space undo

curprev 13:3613:36, 20 April 2024 204.48.77.217 talk 5,508 bytes −6 →Direct Proof undo Tags: Mobile edit Mobile web edit
curprev 13:3513:35, 20 April 2024 204.48.77.217 talk 5,514 bytes −44 No edit summary undo Tags: Mobile edit Mobile web edit

curprev 11:5511:55, 15 December 2023 Bruce1ee talk contribs m 5,558 bytes +45 fixed lint errors – obsolete center HTML tags undo
curprev 10:1510:15, 15 December 2023 WYedit talk contribs 5,513 bytes +2,780 Added a proof by contradiction and labelled the previous proof as "Direct Proof". undo Tag: Visual edit: Switched

curprev 17:4317:43, 10 March 2022 Michael Hardy talk contribs 2,733 bytes +9 No edit summary undo

curprev 15:4715:47, 9 April 2021 ArnoldReinhold talk contribs 2,724 bytes +110 Adding local short description: "Given a cover of a compact metric space, all small subsets are subset of some cover set", overriding Wikidata description "given a cover of a metric space, a positive real number δ such that any set of diameter smaller than δ is a subset of a member of the cover" (Shortdesc helper) undo

curprev 12:0912:09, 23 March 2021 CommanderInDubio talk contribs m 2,614 bytes −8 Reverted edits by 140.112.244.123 (talk) (HG) (3.4.10) undo Tag: Rollback
curprev 12:0012:00, 23 March 2021 140.112.244.123 talk 2,622 bytes +8 No edit summary undo Tag: Reverted

curprev 15:4315:43, 13 July 2020 Airon90 talk contribs 2,614 bytes +2 →References undo Tags: Mobile edit Mobile app edit Android app edit

curprev 22:5022:50, 3 July 2020 190.18.41.50 talk 2,612 bytes −3 →References undo
curprev 22:4922:49, 3 July 2020 190.18.41.50 talk 2,615 bytes +2 No edit summary undo

curprev 06:3506:35, 3 May 2020 157.49.225.16 talk 2,613 bytes 0 →Proof: just a grammatical error. undo Tags: Mobile edit Mobile web edit

curprev 20:5020:50, 25 December 2019 197.61.227.253 talk 2,613 bytes −4 →Proof undo

curprev 06:1906:19, 19 December 2019 InternetArchiveBot talk contribs 2,617 bytes +73 Bluelinking 1 books for verifiability.) #IABot (v2.1alpha3 undo

curprev 11:4011:40, 10 December 2019 83.173.204.227 talk 2,544 bytes +1 →Proof undo

curprev 20:3720:37, 10 September 2019 Elliotgranath talk contribs 2,543 bytes +1 →Proof undo
curprev 20:3720:37, 10 September 2019 Elliotgranath talk contribs 2,542 bytes +256 →Proof undo Tag: Visual edit: Switched

curprev 17:5317:53, 7 September 2019 InternetArchiveBot talk contribs 2,286 bytes +81 Bluelinking 1 books for verifiability.) #IABot (v2.1alpha3 undo

curprev 00:5900:59, 2 July 2018 183.1.86.101 talk 2,205 bytes +1 No edit summary undo

curprev 20:3220:32, 20 February 2018 196.1.114.238 talk 2,204 bytes −4 No edit summary undo
curprev 20:3120:31, 20 February 2018 196.1.114.238 talk 2,208 bytes +3 No edit summary undo

curprev 07:5707:57, 31 December 2017 Arin chaudhuri talk contribs 2,205 bytes +178 →Proof undo

curprev 21:4121:41, 6 January 2017 78.11.137.145 talk 2,027 bytes −1 Deletes an illogical punctuation mark. undo

curprev 05:5905:59, 14 October 2016 2601:602:9600:2f6f:dcfd:1c3e:9b20:a770 talk 2,028 bytes −994 →Alternative Proof: Meaningless symbols signifying nothing. undo Tag: section blanking

curprev 00:5400:54, 9 April 2016 78.49.249.191 talk 3,022 bytes −199 →Alternative Proof undo
curprev 00:5100:51, 9 April 2016 78.49.249.191 talk 3,221 bytes +200 →Added detail, because there are several notions of distances undo
curprev 00:2200:22, 9 April 2016 78.49.249.191 talk 3,021 bytes −1 →german typo undo

curprev 22:4222:42, 9 February 2016 176.198.118.213 talk 3,022 bytes −79 No edit summary undo
curprev 14:2514:25, 9 February 2016 176.198.118.213 talk 3,101 bytes +1,073 No edit summary undo

curprev 13:2313:23, 3 January 2016 94.119.64.29 talk 2,028 bytes +3 →Proof undo
curprev 13:2213:22, 3 January 2016 94.119.64.29 talk 2,025 bytes 0 →Proof undo

curprev 17:4317:43, 29 June 2015 142.243.254.223 talk 2,025 bytes +69 No edit summary undo

curprev 08:4408:44, 7 February 2015 K9re11 talk contribs 1,956 bytes +20 added Category:Lemmas using HotCat undo
curprev 08:4408:44, 7 February 2015 K9re11 talk contribs 1,936 bytes +12 removed Category:Topology; added Category:Theorems in topology using HotCat undo

curprev 15:1115:11, 15 January 2015 12.160.114.251 talk 1,924 bytes +54 Added comment that delta > 0. undo

curprev 11:2911:29, 5 May 2014 Yobot talk contribs m 1,870 bytes +2 →References: WP:CHECKWIKI error fixes using AWB (10093) undo

curprev 19:3219:32, 12 March 2014 87.21.226.85 talk 1,868 bytes +124 →Proof: Exposition improved. undo

curprev 22:4322:43, 22 February 2014 2620:101:f000:700:8000:29b:fc41:74c5 talk 1,744 bytes +27 →Proof undo

curprev 21:1721:17, 9 February 2014 128.83.133.103 talk 1,717 bytes +920 Undid revision 593740497 by CapitalSasha (talk) -- Proof is correct undo

17 October 2024

2 September 2024

22 August 2024

29 July 2024

21 June 2024

18 May 2024

6 May 2024

20 April 2024

15 December 2023

10 March 2022

9 April 2021

23 March 2021

13 July 2020

3 July 2020

3 May 2020

25 December 2019

19 December 2019

10 December 2019

10 September 2019

7 September 2019

2 July 2018

20 February 2018

31 December 2017

6 January 2017

14 October 2016

9 April 2016

9 February 2016

3 January 2016

29 June 2015

7 February 2015

15 January 2015

5 May 2014

12 March 2014

22 February 2014

9 February 2014