sympy/sympy — pull request #1331 by smichr (2012-06-06 04:57:57+00:00)
Title: refactor has

This is the same as #1314 but it retains the ability of Tuple to contain UndefinedFunctions and to answer queries involving bools. It also replaces _ncsplit with the args_cnc method.