Roger, See attached.
Regards, Rob.
rec.tgz
Description: Binary data
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 > [email protected] > http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
_______________________________________________ Proofpower mailing list [email protected] http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
