Jech's proof of canonical well-ordering of $\alpha\times\alpha$. Posted by Zhang Xuan, at math.stackexchange.com, 25 Oct 2023 I'm reading Jech's Set Theory. The canonical well-ordering of $\mathrm{Ord}\times\mathrm{Ord}$ is defined…