As I thought, the mailing list scrubbed the attachment (at least in the
archive). If anyone else wants this, let me know and I will e-mail you direct.
On 11 Jan 2011, at 10:47, Rob Arthan wrote:
> See attached.
> On 11 Jan 2011, at 09:14, Roger Bishop Jones wrote:
>> Does anyone have a proof in ProofPower of a bijection
>> between N and N x N.
>> Or even an injection from N x N to N?
>> Roger Jones
>> Proofpower mailing list
> Proofpower mailing list
Proofpower mailing list