Questions tagged [memberq]
The memberq tag has no usage guidance.
1
question
6
votes
1
answer
396
views
Reasoning about rational numbers
If $x$ is a positive rational number, then of course so is $2 x$.
How can we make Mathematica yield this result?
The obvious approach doesn't work:
...
- 40k