sympy/sympy — pull request #8130 by skirpichev (2014-09-28 12:58:59+00:00)
Title: Add assumption: zero is finite

fixes #8075