Double counting (proof technique): 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 17:3917:39, 22 October 2022‎ 192.76.8.70 talk‎ 11,189 bytes +45‎ →‎Counting trees undo
curprev 17:3717:37, 22 October 2022‎ 192.76.8.70 talk‎ 11,144 bytes 0‎ →‎Counting trees undo

curprev 14:1614:16, 26 August 2022‎ Z423x5c6 talk contribs‎ m 10,586 bytes +27‎ →‎Handshaking lemma: // Edit via Wikiplus undo

curprev 07:1807:18, 4 February 2022‎ David Eppstein talk contribs‎ 10,559 bytes +137‎ inline refs undo
curprev 07:1407:14, 4 February 2022‎ David Eppstein talk contribs‎ 10,422 bytes −116‎ →‎Multiplication (of natural numbers) commutes: rm unnecessary editorialization (how is this not a proof?) undo

curprev 18:3418:34, 6 July 2021‎ OAbot talk contribs‎ m 10,538 bytes +20‎ Open access bot: doi added to citation with #oabot. undo

curprev 03:5503:55, 7 May 2021‎ David Eppstein talk contribs‎ 10,518 bytes −52‎ Undid revision 1021860328 by Hairy Dude (talk) you should be using math display=block, not block indent. Also format more math. undo
curprev 02:2402:24, 7 May 2021‎ Hairy Dude talk contribs‎ 10,570 bytes +96‎ →‎Examples: replace invalid deflist markup with {{block indent}}; don't use explicit image sizessizes; MOS:CURLY, MOS:LQ undo Tags: Mobile edit Mobile web edit Advanced mobile edit
curprev 02:1802:18, 7 May 2021‎ Hairy Dude talk contribs‎ 10,474 bytes −4‎ MOS:CURLY, MOS:LQ undo Tags: Mobile edit Mobile web edit Advanced mobile edit

curprev 11:5411:54, 10 April 2021‎ Chicdat talk contribs‎ 10,478 bytes +46‎ Adding local short description: "Type of proof technique", overriding Wikidata description "technique for proving that two expressions are equal by showing that they both count the size of the same set" (Shortdesc helper) undo

curprev 01:2601:26, 5 August 2020‎ David Eppstein talk contribs‎ 10,432 bytes +37‎ Graph Theory, 1736–1936 undo

curprev 17:0617:06, 16 April 2020‎ David Eppstein talk contribs‎ 10,395 bytes −1‎ Undid revision 951291587 by 2A02:120B:2C65:46A0:8D3E:6B61:4F55:26A4 (talk) they=the two expressions undo Tag: Undo
curprev 12:5612:56, 16 April 2020‎ 2a02:120b:2c65:46a0:8d3e:6b61:4f55:26a4 talk‎ 10,396 bytes +1‎ line 2: there are and not they are undo

curprev 15:4715:47, 8 April 2020‎ Joel Brennan talk contribs‎ m 10,395 bytes +239‎ minor formatting and added wikilinks undo

curprev 23:1923:19, 28 November 2018‎ 192.146.226.69 talk‎ 10,156 bytes −2‎ →‎Handshaking dilemma: Nevermind undo
curprev 23:1923:19, 28 November 2018‎ 192.146.226.69 talk‎ 10,158 bytes +2‎ →‎Handshaking lemma: Change to "Handshaking dilemma" undo

curprev 06:0206:02, 6 October 2018‎ Yahya Abdal-Aziz talk contribs‎ 10,156 bytes +157‎ →‎Examples: - copy-edit; put simplest example first undo

curprev 13:0213:02, 3 June 2018‎ Ronniemaor talk contribs‎ m 9,999 bytes +1‎ →‎Comutativity of multiplication (for natural numbers) undo
curprev 13:0113:01, 3 June 2018‎ Ronniemaor talk contribs‎ 9,998 bytes +694‎ No edit summary undo

curprev 14:3814:38, 15 July 2017‎ Deacon Vorbis talk contribs‎ m 9,304 bytes −2‎ →‎Handshaking lemma: LaTeX spacing clean up, replaced: \,</math> → </math> using AWB undo

curprev 09:5609:56, 26 March 2017‎ Colonies Chris talk contribs‎ 9,306 bytes −2‎ No edit summary undo

curprev 21:4121:41, 7 January 2017‎ David Eppstein talk contribs‎ 9,308 bytes −1‎ Undid revision 758809262 by 78.128.196.7 (talk) they = the two expressions undo
curprev 18:2518:25, 7 January 2017‎ 78.128.196.7 talk‎ 9,309 bytes +1‎ No edit summary undo

curprev 09:1209:12, 30 June 2015‎ Ekayaaslan talk contribs‎ m 9,308 bytes −4‎ →‎Counting trees undo
curprev 09:1009:10, 30 June 2015‎ Ekayaaslan talk contribs‎ 9,312 bytes +15‎ →‎Counting trees undo

curprev 05:0905:09, 17 November 2014‎ Wcherowi talk contribs‎ 9,297 bytes −1‎ Reverted good faith edits by 24.228.78.158 (talk): That was not a grammatical error, this edit changed the meaning to an incorrect one. (TW) undo

curprev 23:4223:42, 16 November 2014‎ 24.228.78.158 talk‎ 9,298 bytes +1‎ No edit summary undo

curprev 01:3301:33, 7 March 2013‎ Addbot talk contribs‎ m 9,297 bytes −116‎ Bot: Migrating 3 interwiki links, now provided by Wikidata on d:q1191750 undo

curprev 20:4420:44, 18 December 2012‎ MathsPoetry talk contribs‎ m 9,413 bytes +11‎ No edit summary undo
curprev 07:3507:35, 18 December 2012‎ MathsPoetry talk contribs‎ m 9,402 bytes +28‎ iw undo

curprev 18:3018:30, 29 October 2012‎ 14.139.97.73 talk‎ 9,374 bytes +21‎ Changed 'k' to 'k - 1' in the part explaining how many possibilities there are for adding a new edge when we have already added n - k edges. undo

curprev 21:2321:23, 8 October 2012‎ Anne Bauval talk contribs‎ m 9,353 bytes −24‎ →‎References: wrong iw undo

curprev 18:3718:37, 6 October 2012‎ Pugiator talk contribs‎ m 9,377 bytes 0‎ →‎Handshaking lemma: proven as pp undo

curprev 22:0522:05, 7 August 2012‎ David Eppstein talk contribs‎ 9,377 bytes +42‎ →‎Counting trees: caption the image undo

curprev 16:1216:12, 17 April 2012‎ Samoon talk contribs‎ 9,335 bytes +29‎ +fa undo

curprev 00:1500:15, 26 March 2012‎ Helpful Pixie Bot talk contribs‎ m 9,306 bytes +4‎ ISBNs (Build J/) undo

curprev 22:5222:52, 29 February 2012‎ 128.61.92.217 talk‎ 9,302 bytes −2‎ →‎Handshaking dilemma undo
curprev 22:5022:50, 29 February 2012‎ 128.61.92.217 talk‎ 9,304 bytes +2‎ →‎Handshaking lemma: I noticed a typo in the section header. It read "Handshaking lemma" instead of "Handshaking dilemma", so I fixed it. undo

curprev 23:1723:17, 31 January 2012‎ Cydebot talk contribs‎ m 9,302 bytes +13‎ Robot - Speedily moving category Proofs to Category:Mathematical proofs per CFDS. undo

curprev 22:2522:25, 10 December 2011‎ David Eppstein talk contribs‎ 9,289 bytes −159‎ →‎Forming committees: parenthetical remark about hypercubes seems to be more confusing than helpful; try omitting it. undo

curprev 02:5902:59, 29 October 2011‎ 202.162.112.17 talk‎ 9,448 bytes +48‎ →‎Counting trees: + a picture undo

curprev 22:1922:19, 10 September 2011‎ CitationCleanerBot talk contribs‎ m 9,400 bytes −17‎ →‎References: Various citation & identifier cleanup, plus AWB genfixes. Report errors and suggestions at User talk:CitationCleanerBot. using AWB undo

curprev 13:4913:49, 23 March 2011‎ Marc van Leeuwen talk contribs‎ 9,417 bytes +10‎ →‎Additional examples: wikilink undo

curprev 09:5109:51, 2 September 2010‎ Citation bot 1 talk contribs‎ m 9,407 bytes +76‎ Citations: [Pu184]Tweaked: doi, url, issue. You can use this bot yourself. Report bugs here. undo

22 October 2022

10 September 2022

26 August 2022

4 February 2022

6 July 2021

7 May 2021

10 April 2021

5 August 2020

16 April 2020

8 April 2020

28 November 2018

6 October 2018

3 June 2018

15 July 2017

26 March 2017

7 January 2017

30 June 2015

17 November 2014

16 November 2014

7 March 2013

18 December 2012

29 October 2012

8 October 2012

6 October 2012

7 August 2012

17 April 2012

26 March 2012

29 February 2012

31 January 2012

10 December 2011

29 October 2011

10 September 2011

23 March 2011

2 September 2010