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