sympy/sympy — pull request #1688 by mrocklin (2012-12-05 19:45:33+00:00)
Title: Triangular predicates

Add some predicates and implications for matrix assumptions

Also create a tiny script to auto-generate the ask_generated.py file