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