Condensed mathematics: 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 14:2514:25, 27 October 2024 Klbrain talk contribs 6,942 bytes −49 Removing merge template after merging (easy-merge) undo
curprev 14:2514:25, 27 October 2024 Klbrain talk contribs 6,991 bytes +509 →Idea: Merge from Liquid vector space for short text and context; uncontested July proposal undo

curprev 03:0903:09, 25 October 2024 Silvermatsu talk contribs 6,482 bytes +165 →External links undo

curprev 11:5911:59, 17 September 2024 2a02:1812:110c:dc00:4842:c8ac:a3ab:82b5 talk 6,317 bytes +13 No edit summary undo

curprev 13:4613:46, 22 July 2024 TakuyaMurata talk contribs 6,304 bytes +66 →Firther reading: this tag is a great way to find info on this topic undo

curprev 20:4420:44, 12 July 2024 Cewbot talk contribs m 6,238 bytes −7 Convert Dustin Clausen to wikilink (The bot operation is completed 23.2% in total) undo

curprev 07:5407:54, 16 March 2024 GhostInTheMachine talk contribs 5,998 bytes +4 →Definition: +link undo
curprev 01:5801:58, 16 March 2024 LucasBrown talk contribs 5,994 bytes +1 →Idea: Grammar undo Tag: Visual edit

curprev 01:0901:09, 27 November 2023 Me, Myself, and I are Here talk contribs m 5,993 bytes −2 CQ, layout undo

curprev 23:0623:06, 7 November 2023 GhostInTheMachine talk contribs 5,995 bytes −79 Shorten short description — WP:SDSHORT undo Tag: Shortdesc helper
curprev 20:3220:32, 7 November 2023 The Anome talk contribs 6,074 bytes +24 →Definition: link sheaf a second time, because it's crucial to the first sentence on para undo Tag: Visual edit
curprev 18:1018:10, 7 November 2023 The Anome talk contribs 6,050 bytes +42 == See also == * Liquid vector space undo Tag: 2017 wikitext editor
curprev 18:0218:02, 7 November 2023 The Anome talk contribs 6,008 bytes +142 Importing Wikidata short description: "Area of mathematics using condensed sets (sheaves of sets on the site of profinite sets) rather than topological spaces" undo Tag: Shortdesc helper

curprev 19:1319:13, 5 October 2023 Amakuha talk contribs 5,866 bytes +287 →History undo

curprev 03:5203:52, 2 September 2023 Mdavis94538 talk contribs m 5,579 bytes +6 →History: minor grammar fix undo

curprev 11:1811:18, 19 May 2023 185.118.40.1 talk 5,573 bytes +7 Clausen link as {{ill}} to German undo

curprev 19:2119:21, 26 April 2023 Ktz hulud talk contribs 5,566 bytes −390 Nothing support the claim that people specifically got interested in late 2022 in condensed mathematics. Indeed, it attracted attention since the first lectures on condensed math in 2019. Furthermor mathjobrumor is really not a serious source. undo Tag: Manual revert

curprev 22:3622:36, 22 April 2023 76.95.242.239 talk 5,956 bytes +24 →History undo Tags: Reverted Mobile edit Mobile web edit
curprev 19:0319:03, 22 April 2023 76.95.242.239 talk 5,932 bytes +5 →History undo Tag: Reverted
curprev 19:0219:02, 22 April 2023 76.95.242.239 talk 5,927 bytes +361 →History undo Tag: Reverted

curprev 17:0117:01, 1 April 2023 2601:647:5e00:7690:e8fb:bfc5:15f:51e4 talk 5,566 bytes −18 →History: Replaced several non-idiomatic instances of the present perfect tense by the simple past tense. undo

curprev 20:0220:02, 7 December 2022 132.68.115.174 talk 5,584 bytes +33 No edit summary undo

curprev 23:3323:33, 28 August 2022 Etruscan44 talk contribs m 5,551 bytes −1 →History: Copyedit: The past participle of the verb "to lead" is "led", not "lead". undo

curprev 17:0417:04, 25 August 2022 118.99.81.221 talk 5,552 bytes −5 →Idea undo
curprev 17:0217:02, 25 August 2022 118.99.81.221 talk 5,557 bytes −5 →External links undo

curprev 20:1620:16, 5 August 2022 135.180.104.182 talk 5,562 bytes −5 →History: grammar undo Tags: Mobile edit Mobile web edit

curprev 22:4822:48, 14 July 2022 TheNewAdjoint talk contribs 5,567 bytes +220 →History: completion! undo

curprev 07:5307:53, 10 July 2022 GünniX talk contribs m 5,347 bytes 0 Multiple categories on one line undo Tag: AWB

curprev 14:3914:39, 4 July 2022 WikiCleanerBot talk contribs m 5,347 bytes −1 v2.04b - Bot T20 CW#61 - Fix errors for CW project (Reference before punctuation) undo Tag: WPCleaner

curprev 19:2419:24, 29 June 2022 80.63.57.150 talk 5,348 bytes +30 Correct the link to the mathematician undo Tag: Visual edit

curprev 15:5315:53, 28 June 2022 Wojowu talk contribs 5,318 bytes +630 No edit summary undo
curprev 15:2715:27, 28 June 2022 Wojowu talk contribs 4,688 bytes −181 No edit summary undo

curprev 14:3814:38, 28 April 2022 Colt browning talk contribs 4,869 bytes +14 →History: they have verified only "the heart of the proof", not the whole proof yet undo

curprev 15:4715:47, 15 April 2022 Bortoise talk contribs m 4,855 bytes −2 Just fixed a formatting error on the hyperlink to Lean (proof assistant) undo

curprev 10:2310:23, 14 April 2022 Wilson868 talk contribs 4,857 bytes +1 →History undo Tags: Mobile edit Mobile web edit

curprev 03:0403:04, 13 April 2022 Cu-Mo-Au-Ag talk contribs m 4,856 bytes −34 →Subgoals undo Tag: references removed

curprev 20:0420:04, 11 April 2022 Inferred resource talk contribs m 4,890 bytes +69 →History undo

curprev 03:2803:28, 8 March 2022 Zaslav talk contribs m 4,821 bytes −8 Ce undo

curprev 20:4420:44, 4 January 2022 AxelBoldt talk contribs 4,829 bytes +40 formal proof undo Tag: Visual edit
curprev 20:0420:04, 4 January 2022 AxelBoldt talk contribs 4,789 bytes +238 link to Scholze's challenge undo Tags: citing a blog or free web host Visual edit
curprev 19:0719:07, 4 January 2022 AxelBoldt talk contribs 4,551 bytes +20 →Concept: profinite sets = Stone spaces undo Tag: Visual edit

curprev 11:2811:28, 25 September 2021 FoBe talk contribs 4,531 bytes +12 →External links: title corrected undo

27 October 2024

25 October 2024

17 September 2024

22 July 2024

12 July 2024

10 July 2024

16 March 2024

27 November 2023

7 November 2023

5 October 2023

2 September 2023

19 May 2023

26 April 2023

22 April 2023

1 April 2023

7 December 2022

28 August 2022

25 August 2022

5 August 2022

14 July 2022

10 July 2022

4 July 2022

29 June 2022

28 June 2022

28 April 2022

15 April 2022

14 April 2022

13 April 2022

11 April 2022

8 March 2022

4 January 2022

25 September 2021