# Typo: Inequality as equality

In

"An easy way to see that $P_1$ effects a one-to-one correspondence between $\mathbb{Z}_+^2$ and $\mathbb{Z}_+$ is as follows: Define the successor'' of a pair $(x,y) \in \mathbb{Z}_+^2$ to be the pair $(x-1,y+1)$ when $x=0$ ; otherwise, when $x=0$ , the successor is $(y+1,0)$ ."

The first occurence of $x = 0$ should be replaced with $x \neq 0$ for the recursion to be well-defined.

Parting words from the person who closed the correction:
Status: Accepted
Reference to the user who closed the correction.:
Reference to the article this correction is about:
Status of the article (was it accepted?):
1
Status of the article (is it closed?):
1
What kind of correction is this:
Meta