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 11:4811:48, 14 July 2013en>Perrin4869m 10,097 bytes +10,097 added the additional condition that a subset of an ordered set not be empty

2 July 2012

  • curprev 23:4723:47, 2 July 2012en>AnomieBOTm 10,059 bytes +10,059 Dating maintenance tags: {{Citation needed}}