sympy/sympy — pull request #7894 by SDB1323 (2014-08-20 00:00:05+00:00)
Title: Improved pl_true

1. Completely refactored pl_true to use subs.
2. Added parameter 'deep' which can return better results in case of partial interpretations.