sympy/sympy — pull request #2079 by placasse (2013-05-06 00:18:45+00:00)
Title: Add a refine_Relational handler.

Allows refine(x < 0, Q.is_true(x<0)) == True
and refine(Piecewise((1, x<0), (3, True)), Q.is_true(x<0)) == 1.