sympy/sympy — pull request #2513 by asmeurer (2013-10-05 23:55:03+00:00)
Title: Add zero is even fact to new assumptions

Also some minor cleanups to nearby code.