ness01/sympy — comment on commit 200c3dbbabd238507eb4e27e451eb90a51f2766a
File:  line 0
By asmeurer:

The example in the commit message is wrong. The way it works (and actually the way it really should work) is:

```python

In [3]: (x > 0).subs(x, p)
Out[3]: 0 < p

In [4]: (x > 0).subs(x, p).doit()
Out[4]: True
```