Well-order: Revision history

Jump to navigation Jump to search
Template:FlatlistExternal tools:

Template:Endflatlist


For any version listed below, click on its date to view it. For more help, see Help:Page history and Help:Edit summary. (cur) = difference from current version, (prev) = difference from preceding version, m = minor edit, → = section edit, ← = automatic edit summary

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