sympy/sympy — pull request #1973 by skirpichev (2013-04-05 12:48:02+00:00)
Title: Removed from assumptions/ all the extra functions, returning just True/False (issue 2152)

It's just a rebase of PR #1939.