Description: Change variable numbers in a 3-variable Diophantine class abstraction. (Contributed by Stefan O'Rear, 17-Oct-2014)
Ref | Expression | ||
---|---|---|---|
Hypotheses | rabren3dioph.a | |
|
rabren3dioph.b | |
||
rabren3dioph.c | |
||
rabren3dioph.d | |
||
Assertion | rabren3dioph | |