sympy/sympy — pull request #1961 by placasse (2013-04-02 00:34:32+00:00)
Title: A little bug in ask (part 2).

This pull request just correct this wrong result
ask(Q.positive(x), Q.positive(x) | Q.positive(y))