Talk:Infinite descending chain
 | This redirect does not require a rating on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | |||||||
| ||||||||
 | The contents of the Infinite descending chain page were merged into Total order#Chains on 12 February 2020. For the contribution history and old versions of the merged article please see its history. |
Merger
[edit]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)