Metamath Proof Explorer

Table of Contents - 20.31.34. X and Y sequences 5: Diophantine representability of X, ^, _C

1. rmxdiophlem
2. rmxdioph
3. jm3.1lem1
4. jm3.1lem2
5. jm3.1lem3
6. jm3.1
7. expdiophlem1
8. expdiophlem2
9. expdioph