fix: avoid duplicated definition

Author: yongweiy

interop/klr/gather.c

@@ -1625,18 +1625,16 @@ static void definition(struct state *st, PyObject *obj, char* suggested_name) {
   case FunctionDef_kind:
     if (st->scope.f) {
       function(st, name, stmt);
-      if (suggested_name && strcmp(lean_string_cstr(name), suggested_name) != 0) {
-        function(st, lean_mk_string(suggested_name), stmt);
-      }
+      // Don't create duplicate definitions - they can cause qualification issues
+      // The function is already accessible through its original name
     }
     break;
 
   case ClassDef_kind:
     if (st->scope.cls) {
       class(st, name, stmt);
-      if (suggested_name && strcmp(lean_string_cstr(name), suggested_name) != 0) {
-        class(st, lean_mk_string(suggested_name), stmt);
-      }
+      // Don't create duplicate definitions - they can cause qualification issues
+      // The class is already accessible through its original name
     }
     break;