Ordinal identity intrinsically depends on cardinality; two sequences differ ordinally if they assign...
This proposition has not been edited since the history system was added.