sympy/sympy — pull request #7947 by skirpichev (2014-09-01 12:25:18+00:00)
Title: Rename assumptions: finite -> bounded, unbounded -> infinite

fixes #7943

- [ ] decide about naming (e.g. unbounded)
- [ ] change temporary variable names (e.g. bounded -> finite)
- [ ] add some references