M=13 case of FUNC: Revision history

1 December 2016

• curprev 16:1216:12, 1 December 2016‎ Tomtom2357 talk contribs‎ 1,820 bytes +16‎ →‎Lemmas

11 November 2016

• curprev 21:0821:08, 11 November 2016‎ Tomtom2357 talk contribs‎ 1,804 bytes +5‎ →‎Lemmas
• curprev 21:0721:07, 11 November 2016‎ Tomtom2357 talk contribs‎ 1,799 bytes −16‎ →‎Lemmas
• curprev 20:5020:50, 11 November 2016‎ Tomtom2357 talk contribs‎ 1,815 bytes +133‎ →‎Lemmas

31 October 2016

• curprev 23:2723:27, 31 October 2016‎ Tomtom2357 talk contribs‎ 1,682 bytes +16‎ →‎Lemmas
• curprev 20:4220:42, 31 October 2016‎ Tomtom2357 talk contribs‎ 1,666 bytes +78‎ →‎Lemmas
• curprev 19:4419:44, 31 October 2016‎ Tomtom2357 talk contribs‎ 1,588 bytes +16‎ No edit summary

28 October 2016

• curprev 12:5612:56, 28 October 2016‎ Tomtom2357 talk contribs‎ 1,572 bytes +351‎ Split proof up into lemmas rather than cases

27 October 2016

• curprev 05:0905:09, 27 October 2016‎ Tomtom2357 talk contribs‎ 1,221 bytes +12‎ No edit summary
• curprev 05:0705:07, 27 October 2016‎ Tomtom2357 talk contribs‎ 1,209 bytes +140‎ No edit summary
• curprev 04:5804:58, 27 October 2016‎ Tomtom2357 talk contribs‎ 1,069 bytes −253‎ →‎Case 3: The smallest set has size 5
• curprev 04:5804:58, 27 October 2016‎ Tomtom2357 talk contribs‎ 1,322 bytes −3,147‎ →‎Case 4: The smallest set has size 6
• curprev 04:5704:57, 27 October 2016‎ Tomtom2357 talk contribs‎ 4,469 bytes +31‎ →‎Case 4: The smallest set has size 6
• curprev 04:5504:55, 27 October 2016‎ Tomtom2357 talk contribs‎ 4,438 bytes +253‎ →‎Case 3: The smallest set has size 5
• curprev 04:3704:37, 27 October 2016‎ Tomtom2357 talk contribs‎ 4,185 bytes +2,352‎ Completing case 4
• curprev 04:0204:02, 27 October 2016‎ Tomtom2357 talk contribs‎ 1,833 bytes +417‎ →‎Case 4: The smallest set has size 6
• curprev 03:2103:21, 27 October 2016‎ Tomtom2357 talk contribs‎ 1,416 bytes −5‎ →‎Case 4: The smallest set has size 6
• curprev 03:2103:21, 27 October 2016‎ Tomtom2357 talk contribs‎ 1,421 bytes +352‎ →‎Case 4: The smallest set has size 6
• curprev 02:5702:57, 27 October 2016‎ Tomtom2357 talk contribs‎ 1,069 bytes +17‎ No edit summary
• curprev 02:3602:36, 27 October 2016‎ Tomtom2357 talk contribs‎ 1,052 bytes +14‎ No edit summary
• curprev 02:3302:33, 27 October 2016‎ Tomtom2357 talk contribs‎ 1,038 bytes +7‎ No edit summary
• curprev 02:3002:30, 27 October 2016‎ Tomtom2357 talk contribs‎ 1,031 bytes +1,031‎ Created the page, set up the four main cases to consider