History: Friedman's finite trees

14 December 2024

• curprev 04:0604:06, 14 December 2024 --MULLIGANACEOUS-- talk contribs m 7,537 bytes −1 No edit summary
• curprev 04:0604:06, 14 December 2024 --MULLIGANACEOUS-- talk contribs 7,538 bytes +22 No edit summary

29 September 2023

• curprev 23:2123:21, 29 September 2023 Fishfishbot talk contribs m 7,516 bytes +13 User blog:Kyodaisuu/Proposal to put navigation links to desktop mode for mobile users

8 May 2023

• curprev 22:0022:00, 8 May 2023 P進大好きbot talk contribs m 7,503 bytes −200 Reverting a description which is not actually written in the cited source: The source does not state that "Friedman's finite tree" itself is also called "Krusal's tree theorem". Tag: Undo
• curprev 12:1512:15, 8 May 2023 I664k talk contribs 7,703 bytes +105 No edit summary Tags: Reverted Visual edit
• curprev 12:0312:03, 8 May 2023 I664k talk contribs 7,598 bytes −34 No edit summary Tags: Reverted Source edit
• curprev 12:0112:01, 8 May 2023 I664k talk contribs 7,632 bytes +129 No edit summary Tags: Reverted Visual edit
• curprev 04:1804:18, 8 May 2023 EricABQ talk contribs 7,503 bytes −7 grammar Tags: Manual revert Source edit
• curprev 04:1704:17, 8 May 2023 EricABQ talk contribs 7,510 bytes −30 Kruskal's tree theorem is related to the TREE sequence, not Friedman's finite trees (as far as I know) Tags: Reverted Source edit
• curprev 01:2601:26, 8 May 2023 I664k talk contribs 7,540 bytes +37 Undo revision 386761 by P進大好きbot (talk) Tags: Undo Reverted

7 May 2023

• curprev 23:1823:18, 7 May 2023 P進大好きbot talk contribs m 7,503 bytes −37 Undo revision 386746 by I664k (talk)　Addion of the unsourced statement that the system itself is also called "the Krusal tree theorem". Tags: Undo Reverted
• curprev 18:4818:48, 7 May 2023 I664k talk contribs 7,540 bytes +37 No edit summary Tags: Reverted Visual edit

4 December 2021

• curprev 08:0008:00, 4 December 2021 Fishfishbot talk contribs m 7,503 bytes −26 Bot: Removing from Combinatorics

19 November 2021

• curprev 10:5810:58, 19 November 2021 Binary198 talk contribs 7,529 bytes −61 →Explanation Tag: Visual edit

28 October 2021

• curprev 08:1508:15, 28 October 2021 Binary198 talk contribs 7,590 bytes +29 No edit summary Tag: Visual edit

25 June 2021

• curprev 20:0820:08, 25 June 2021 BlankEntity talk contribs 7,561 bytes −44 Undo revision 327375 by Williy luk (talk) Tag: Undo
• curprev 16:1316:13, 25 June 2021 Williy luk talk contribs 7,605 bytes +44 Adding categories

25 January 2020

• curprev 12:1312:13, 25 January 2020 P進大好きbot talk contribs 7,561 bytes +29 Adding categories

8 January 2020

• curprev 04:4804:48, 8 January 2020 P進大好きbot talk contribs m 7,532 bytes +228 clarification

9 February 2018

• curprev 09:4209:42, 9 February 2018 Cloudy176 talk contribs 7,304 bytes 0 Undo revision 193363 by 80.98.179.160 (talk) [0,n) notation is more widespread

18 December 2017

• curprev 14:2014:20, 18 December 2017 80.98.179.160 contribs 7,304 bytes 0 →Explanation

24 March 2015

• curprev 17:5117:51, 24 March 2015 Vel! talk contribs 7,304 bytes +926 →Explanation Tag: sourceedit
• curprev 17:3917:39, 24 March 2015 Vel! talk contribs 6,378 bytes +192 →Explanation Tag: sourceedit
• curprev 17:2817:28, 24 March 2015 Vel! talk contribs 6,186 bytes −298 →Explanation Tag: sourceedit
• curprev 17:2217:22, 24 March 2015 Vel! talk contribs 6,484 bytes +11 →Explanation Tag: sourceedit

26 December 2014

• curprev 08:1108:11, 26 December 2014 LittlePeng9 talk contribs 6,473 bytes −126 Because, afaik, we don't even know if this function dominates linear functions
• curprev 00:4200:42, 26 December 2014 Cookiefonster talk contribs 6,599 bytes +126 why delete that passage? Tag: mobileedit

25 December 2014

• curprev 21:1921:19, 25 December 2014 Vel! talk contribs 6,473 bytes −126 ...except the non-recursive ones
• curprev 17:1817:18, 25 December 2014 Vel! talk contribs 6,599 bytes +50 →Description: reordering
• curprev 17:1317:13, 25 December 2014 Vel! talk contribs 6,549 bytes −6 nah lets keep the paragraphs
• curprev 05:4505:45, 25 December 2014 31.42.233.14 contribs 6,555 bytes +6 No edit summary

24 December 2014

• curprev 21:4121:41, 24 December 2014 Vel! talk contribs 6,549 bytes +146 →Explanation
• curprev 21:3521:35, 24 December 2014 Vel! talk contribs 6,403 bytes +38 →Explanation
• curprev 21:3321:33, 24 December 2014 Vel! talk contribs 6,365 bytes +38 →Explanation
• curprev 18:1818:18, 24 December 2014 Vel! talk contribs 6,327 bytes +35 →Explanation
• curprev 18:0918:09, 24 December 2014 Vel! talk contribs 6,292 bytes +2 →Explanation
• curprev 18:0818:08, 24 December 2014 Vel! talk contribs 6,290 bytes −64 →Explanation
• curprev 12:5012:50, 24 December 2014 LittlePeng9 talk contribs 6,354 bytes +45 →Explanation
• curprev 09:1709:17, 24 December 2014 Vel! talk contribs 6,309 bytes −158 →Explanation
• curprev 09:0709:07, 24 December 2014 Vel! talk contribs 6,467 bytes +1 →Explanation
• curprev 09:0309:03, 24 December 2014 Vel! talk contribs 6,466 bytes +108 →Explanation
• curprev 09:0109:01, 24 December 2014 Vel! talk contribs 6,358 bytes +1,023 →Explanation
• curprev 08:2808:28, 24 December 2014 Vel! talk contribs 5,335 bytes +31 →Explanation
• curprev 08:2708:27, 24 December 2014 Vel! talk contribs 5,304 bytes −130 →Explanation
• curprev 07:3207:32, 24 December 2014 Konkhra talk contribs 5,434 bytes +49 Adding categories
• curprev 06:1206:12, 24 December 2014 Vel! talk contribs 5,385 bytes −175 →Explanation
• curprev 06:1206:12, 24 December 2014 Vel! talk contribs 5,560 bytes +712 →Explanation
• curprev 05:3505:35, 24 December 2014 Vel! talk contribs 4,848 bytes +1,484 No edit summary
• curprev 05:0905:09, 24 December 2014 Vel! talk contribs 3,364 bytes +144 →Description
• curprev 03:2103:21, 24 December 2014 Vel! talk contribs 3,220 bytes +72 →Description