WikiLean
Recent changes
·
Proposals
·
Flags
·
Stats
·
About
🌓
Diff —
Subset
Revision #1605 → #2376 ·
back to history
added
Reverse set inclusion partial order
f291648ad40c
added
Ordinals as sets ordered by inclusion
f1181df28477