

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