There is a page for linearly ordered set. It is called "totally ordered set". This is one of those situations where it would be nice for arbital to have a synonym system.
nods, it's definitely something we want, and an 80/20 version was on the last list of wiki features to prioritize. The focus for the next while is going to be discussion features (for details see the announcement in #updates or #general), but when we return to improving the wiki side of Arbital it'll be one of the earlier pieces to add. I've fixed the link in case for now.
There is a page for linearly ordered set. It is called "totally ordered set". This is one of those situations where it would be nice for arbital to have a synonym system.
nods, it's definitely something we want, and an 80/20 version was on the last list of wiki features to prioritize. The focus for the next while is going to be discussion features (for details see the announcement in #updates or #general), but when we return to improving the wiki side of Arbital it'll be one of the earlier pieces to add. I've fixed the link in case for now.
This page looks like it's going to be very large, perhaps splitting a bunch of parts out into children would make it more digestible and reusable?
I suspect if I were doing it I'd find it easier to structure and interlink with split first, but whichever workflow suits you is fine.
I was thinking of starting here, then splitting into lenses once the structure is more certain. Do you think I should do that earlier?