sympy/sympy — pull request #7520 by amitsaha (2014-05-25 11:00:40+00:00)
Title: sympy.sets: Add is_proper_subset() and is_proper_superset() methods

Having these methods will not force one to make use of the < or >
operators for these operations only, since we already have is_subset()
and is_superset() methods.