The button will add this page to my log of things to fix. Use it for broken links, equations not rendering correctly, etc.Submit other issues on GitHub.
Search
The order type of a Well-ordered set is the unique Ordinal to which it is Order-isomorphic.