code: def _gt_from_le(self, other):
      
      op_result = self.__le__(other)
      if op_result is NotImplemented:
          return NotImplemented
      return not op_result
docs: Return a > b.  Computed by @total_ordering from (not a <= b).