Metamath Proof Explorer

Table of Contents - 21.33.17. Diophantine sets 6: reusability. renumbering of variables

1. eldioph4b
2. eldioph4i
3. diophren
4. rabrenfdioph
5. rabren3dioph