sympy/sympy — pull request #7683 by skirpichev (2014-07-03 09:39:31+00:00)
Title: I not in Reals should be True

fix #7680