Thanks Rob, that's great. Do you intend to add this to maths_egs?
Roger _______________________________________________ Proofpower mailing list [email protected] http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
- [ProofPower] bijection between N adn N x N Roger Bishop Jones
- Re: [ProofPower] bijection between N adn N x N Rob Arthan
- Re: [ProofPower] bijection between N adn N x N Rob Arthan
- Re: [ProofPower] bijection between N adn N x N Roger Bishop Jones
- Re: [ProofPower] bijection between N adn N... Rob Arthan
- Re: [ProofPower] bijection between N a... Roger Bishop Jones
