Feit–Thompson theorem: 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 09:1509:15, 25 August 2024 Turtlens talk contribs 21,492 bytes −1 →References undo

curprev 00:0600:06, 12 March 2024 2a02:2168:a0a2:fa00:3a91:accb:8f2:8e8f talk 21,493 bytes −1 →References: used an arxiv template undo
curprev 00:0300:03, 12 March 2024 2a02:2168:a0a2:fa00:3a91:accb:8f2:8e8f talk 21,494 bytes +270 added a reference for the divisibility conjecture by Thompson undo

curprev 19:5419:54, 12 November 2023 ElliAWB talk contribs m 21,224 bytes +15 Disambiguating links to Coq (link changed to Coq (software)) using DisamAssist. undo

curprev 09:4909:49, 11 September 2023 131.174.115.217 talk 21,209 bytes 0 →Revision of the proof: Fix style of Inria undo

curprev 03:2703:27, 8 July 2023 AndyrooP talk contribs 21,209 bytes +61 Adding local short description: "Classification theorem in group theory", overriding Wikidata description "theorem" undo Tag: Shortdesc helper

curprev 01:1601:16, 30 January 2023 OAbot talk contribs m 21,148 bytes +18 Open access bot: doi added to citation with #oabot. undo

curprev 10:5610:56, 5 July 2022 TripleShortOfACycle talk contribs m 21,130 bytes +14 Fix typo undo Tag: Visual edit

curprev 17:2817:28, 25 March 2022 Llammakey talk contribs 21,116 bytes 0 →Revision of the proof: fixed cite based on anchor undo
curprev 17:2717:27, 25 March 2022 Llammakey talk contribs 21,116 bytes 0 →History: fixed cite based on anchor undo

curprev 06:5706:57, 29 August 2021 Citation bot talk contribs 21,116 bytes +112 Add: doi, doi-access, bibcode, s2cid, chapter-url. Removed or converted URL. | Use this bot. Report bugs. | Suggested by Headbomb | Linked from Wikipedia:WikiProject_Academic_Journals/Journals_cited_by_Wikipedia/Sandbox | #UCB_webform_linked 401/910 undo

curprev 19:0619:06, 28 April 2021 Bender the Bot talk contribs m 21,004 bytes +1 →References: HTTP → HTTPS for the American Mathematical Society, replaced: =http://www.ams.org/ → =https://www.ams.org/ undo Tag: AWB

curprev 11:3711:37, 21 February 2021 Tarnoob talk contribs 21,003 bytes −23 →References: cat. undo

curprev 05:2205:22, 2 January 2021 Monkbot talk contribs m 21,026 bytes −5 Task 18 (cosmetic): eval 13 templates: del empty params (1×); undo Tag: AWB

curprev 06:0506:05, 24 July 2020 Xezbeth talk contribs m 21,031 bytes +32 dab undo

curprev 20:2720:27, 27 June 2020 Ira Leviton talk contribs m 20,999 bytes +1 Fixed a typo found with Wikipedia:Typo_Team/moss. undo

curprev 22:0822:08, 16 April 2020 OAbot talk contribs m 20,998 bytes +18 Open access bot: doi added to citation with #oabot. undo

curprev 22:2322:23, 29 December 2019 Rjwilmsi talk contribs m 20,980 bytes +46 →References: Journal cites:, added 1 DOI, added 1 PMID undo Tag: AWB

curprev 21:0921:09, 2 December 2019 2001:861:3ac0:4fa0:7973:bd75:1dea:29a3 talk 20,934 bytes +13 No edit summary undo

curprev 23:5423:54, 19 September 2019 Tom.Reding talk contribs m 20,921 bytes +12 Category:CS1 errors: deprecated parameters: migrate 3/3 |dead-url= to |url-status=; minor cleanup; WP:GenFixes on undo Tag: AWB

curprev 04:3704:37, 18 August 2019 InternetArchiveBot talk contribs 20,909 bytes +324 Rescuing 2 sources and tagging 0 as dead. #IABot (v2.0beta15) undo

curprev 11:2411:24, 15 November 2018 Cedar101 talk contribs m 20,585 bytes +75 →Step 3. The final contradiction: \begin{smallmatrix} undo

curprev 09:1809:18, 16 May 2018 OAbot talk contribs m 20,510 bytes +13 Open access bot: add pmc identifier to citation with #oabot. undo

curprev 05:0005:00, 6 March 2018 JCW-CleanerBot talk contribs m 20,497 bytes −28 →References: task, replaced: Comptes Rendus des Séances de l'Académie des Sciences. Série I. Mathématique → Comptes Rendus de l'Académie des Sciences, Série I using AWB undo

curprev 13:1013:10, 8 February 2018 Turgidson talk contribs m 20,525 bytes +58 →History: name, link undo
curprev 05:4705:47, 8 February 2018 Turgidson talk contribs 20,467 bytes +24 →Significance of the proof: names, link undo

curprev 04:5104:51, 21 December 2017 Cherkash talk contribs m 20,443 bytes −5 No edit summary undo

curprev 14:3014:30, 9 October 2017 160.39.125.174 talk 20,448 bytes 0 corrected quote formatting undo

curprev 11:1011:10, 29 September 2017 InternetArchiveBot talk contribs 20,448 bytes +156 Rescuing 1 sources and tagging 0 as dead. #IABot (v1.5.4) undo

curprev 10:2310:23, 9 September 2017 96.232.96.127 talk 20,292 bytes −479 →Revision of the proof undo

curprev 01:1701:17, 25 August 2017 Gylpm talk contribs m 20,771 bytes +479 add a news about Michael Atiyah's proof undo

curprev 23:5023:50, 5 February 2017 Myasuda talk contribs m 20,292 bytes +1 →Step 3. The final contradiction: sp undo

curprev 01:3701:37, 5 November 2016 Bender the Bot talk contribs m 20,291 bytes +2 →References: http→https for Google Books and Google News using AWB undo

curprev 14:5814:58, 18 June 2016 R.e.b. talk contribs 20,289 bytes −47 Clean up undo

curprev 17:0517:05, 15 June 2016 Headbomb talk contribs m 20,336 bytes +11 clean up, replaced: Proc. Nat. Acad → Proc. Natl. Acad using AWB undo

curprev 18:3018:30, 23 November 2015 AnomieBOT talk contribs m 20,325 bytes +19 Dating maintenance tags: {{Cn}} undo
curprev 16:3016:30, 23 November 2015 138.86.122.114 talk 20,306 bytes +6 Citation needed undo

curprev 17:1917:19, 11 December 2014 K9re11 talk contribs m 20,300 bytes +1 No edit summary undo

curprev 20:2720:27, 17 September 2014 RogierBrussee talk contribs 20,299 bytes −215 Undid revision 625992826 by 82.75.185.158 (talk) The Coq based check of the proof is already mentioned in the a undo
curprev 20:2520:25, 17 September 2014 82.75.185.158 talk 20,514 bytes +215 →History: Add that the The Feit Thomson theorem was formally checked by computer. undo

curprev 04:4104:41, 27 August 2014 Teddyktchan talk contribs m 20,299 bytes −1 →Step 1. Local analysis of the structure of the group G. undo

curprev 07:3707:37, 29 March 2014 78.43.128.68 talk 20,300 bytes +4 →Revision of the proof: made proof assistant a link undo

curprev 04:1904:19, 15 November 2013 R.e.b. talk contribs 20,296 bytes −110 Undid revision 568974961 by 179.215.11.70 (talk) rm redundant links undo

curprev 19:2319:23, 17 August 2013 179.215.11.70 talk 20,406 bytes +110 →Use of oddness undo

curprev 10:5310:53, 4 August 2013 Smaug123 talk contribs m 20,296 bytes −13 →Revision of the proof: Fixed citation source undo

curprev 10:0910:09, 20 April 2013 Yobot talk contribs m 20,309 bytes +36 WP:CHECKWIKI error fixes - Replaced endash with hyphen in sortkey per WP:MCSTJR using AWB (9100) undo

curprev 02:1202:12, 28 February 2013 Addbot talk contribs m 20,273 bytes −169 Bot: Migrating 5 interwiki links, now provided by Wikidata on d:q909517 (Report Errors) undo

curprev 17:5417:54, 5 February 2013 Rschwieb talk contribs 20,442 bytes +70 →Step 3. The final contradiction: Made this passage grammatical and stuck it in a footnote since it is tangential to the rest of the text. undo
curprev 15:5415:54, 5 February 2013 147.251.239.91 talk 20,372 bytes 0 →Step 3. The final contradiction undo

curprev 02:3302:33, 25 September 2012 WikHead talk contribs 20,372 bytes +91 Filling in 1 references using Reflinks undo

25 August 2024

12 March 2024

12 November 2023

11 September 2023

8 July 2023

30 January 2023

5 July 2022

25 March 2022

29 August 2021

28 April 2021

21 February 2021

2 January 2021

24 July 2020

27 June 2020

16 April 2020

29 December 2019

2 December 2019

19 September 2019

18 August 2019

15 November 2018

16 May 2018

6 March 2018

8 February 2018

21 December 2017

9 October 2017

29 September 2017

9 September 2017

25 August 2017

5 February 2017

5 November 2016

18 June 2016

15 June 2016

23 November 2015

11 December 2014

17 September 2014

27 August 2014

29 March 2014

15 November 2013

17 August 2013

4 August 2013

20 April 2013

28 February 2013

5 February 2013

25 September 2012