sympy/sympy — pull request #7336 by sevaader (2014-03-26 13:28:39+00:00)
Title: Update ask.py

TautologicalHandler is in _val_template + "common" + TautologicalHandler.

/assumptions/handlers/common