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.
Regards, Rob. On 11 Jan 2011, at 10:47, Rob Arthan wrote: > Roger, > > See attached. > > Regards, > > Rob. > <rec.tgz> > 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@lemma-one.com >> http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com > > _______________________________________________ > Proofpower mailing list > Proofpower@lemma-one.com > http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com _______________________________________________ Proofpower mailing list Proofpower@lemma-one.com http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com