Least-upper-bound property: 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.

14 November 2014

4 March 2014

14 July 2013

  • curprev 10:4810:48, 14 July 2013 en>Perrin4869 m 10,097 bytes +10,097 added the additional condition that a subset of an ordered set not be empty

2 July 2012

  • curprev 22:4722:47, 2 July 2012 en>AnomieBOT m 10,059 bytes +10,059 Dating maintenance tags: {{Citation needed}}