sympy/sympy — pull request #2476 by skirpichev (2013-09-22 10:59:16+00:00)
Title: Fix fact extraction from composite assumptions

This is a minor rewrite of 5b63c97 in #343 (from the top of long-running PRs). See also #1961.