![]() | This redirect does not require a rating on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | |||||||
|
Merger
I have suggested the article be merged with totally ordered set (as it is not necessary to have a separate article). —- Taku (talk) 15:07, 27 January 2019 (UTC)
- I agree, but I am not yet familiar with how mergers work. Is there a way I can vote for the merger? — Preceding unsigned comment added by Joel Brennan (talk • contribs) 20:13, 2 May 2019 (UTC)
You must be logged in to post a comment.