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 22:3422: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