Proofs involving the addition of natural numbers: Revision history

Jump to navigation Jump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

31 March 2010

  • curprev 23:3423:34, 31 March 2010‎ en>Falcor84‎ 4,120 bytes +4,120‎ →‎Definitions: the definition of 1 is needed only for the proof of commutativity. perhaps the definition should even be moved to that section
Retrieved from "https://en.formulasearchengine.com/wiki/Proofs_involving_the_addition_of_natural_numbers"