sympy/sympy — pull request #2145 by mrocklin (2013-05-31 17:56:48+00:00)
Title: ask(Q.foo_elements(MatMul(...))) handles scalar args

Previously

```Python
>>> print ask(Q.real_elements(alpha*X), Q.real(alpha) & Q.real_elements(X))
None
```

Now

```Python
>>> print ask(Q.real_elements(alpha*X), Q.real(alpha) & Q.real_elements(X))
True
```