Jump to content

Well-order: Revision history

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.

15 May 2025

  • curprev 19:0619:06, 15 May 2025 imported>Jochen Burghardt 12,616 bytes +12,616 Partly undid revision 1290536064 by 慈居 (talk): clarify: a set can have several orders (of different types), but an order can't have different types