diff --git a/src/api/python/z3/z3.py b/src/api/python/z3/z3.py
index de5fcce93..6c61ea18c 100644
--- a/src/api/python/z3/z3.py
+++ b/src/api/python/z3/z3.py
@@ -60,10 +60,7 @@ from collections.abc import Callable
 from typing import (
     Any,
     Iterable,
-    Sequence,
-    TypeVar,
-    Self,
-    Union,
+    Sequence
 )