def has_previous_page(self, page_number):
        return page_number > 0
dataset/ETHPy150Open AppScale/appscale/AppServer/lib/django-0.96/django/core/paginator.py/ObjectPaginator.has_previous_page/original