Maximal element: 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.

12 January 2015

3 February 2014

20 August 2012

  • curprev 09:2909:29, 20 August 2012en>Tobias Bergemann 12,144 bytes +12,144 Minor reordering to make clear the difference between ‘maximal element’ and ‘greatest element’ as the very first thing when introducing these terms.