diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 65271d23..9b6bdc5a 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -58,20 +58,20 @@ jobs:
         # For available versions, see:
         # https://raw.githubusercontent.com/actions/python-versions/main/versions-manifest.json
         python-version:
-          - "3.9"
-          - "3.9.12"
           - "3.10"
-          - "3.10.4"
+          - "3.10.20"
           - "3.11"
-          - "3.11.0"
+          - "3.11.15"
           - "3.12"
-          - "3.12.0"
+          - "3.12.13"
           - "3.13"
-          - "3.13.0"
+          - "3.13.13"
           - "3.14"
-          - "pypy3.9"
-          - "pypy3.10"
+          - "3.14.6"
+          - "3.15"
+          - "3.15.0"
           - "pypy3.11"
+          - "pypy3.12"
 
     runs-on: ubuntu-latest
 
diff --git a/CHANGELOG.md b/CHANGELOG.md
index 4a4cf664..a0afddae 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,3 +1,7 @@
+# Unreleased
+
+- Drop support for Python 3.9.
+
 # Release 4.16.0 (July 2, 2026)
 
 No user-facing changes since 4.16.0rc2.
diff --git a/README.md b/README.md
index 106e83b1..55e9ae0a 100644
--- a/README.md
+++ b/README.md
@@ -10,7 +10,7 @@
 The `typing_extensions` module serves two related purposes:
 
 - Enable use of new type system features on older Python versions. For example,
-  `typing.TypeGuard` is new in Python 3.10, but `typing_extensions` allows
+  `typing.TypeIs` is new in Python 3.13, but `typing_extensions` allows
   users on previous Python versions to use it too.
 - Enable experimentation with new type system PEPs before they are accepted and
   added to the `typing` module.
diff --git a/doc/index.rst b/doc/index.rst
index 77cb0ec5..52d3666f 100644
--- a/doc/index.rst
+++ b/doc/index.rst
@@ -8,7 +8,7 @@ providing runtime support for type hints as specified by :pep:`484` and subseque
 PEPs. The module serves two related purposes:
 
 - Enable use of new type system features on older Python versions. For example,
-  :py:data:`typing.TypeGuard` is new in Python 3.10, but ``typing_extensions`` allows
+  :py:data:`typing.TypeIs` is new in Python 3.13, but ``typing_extensions`` allows
   users on previous Python versions to use it too.
 - Enable experimentation with type system features proposed in new PEPs before they are accepted and
   added to the :py:mod:`typing` module.
@@ -143,7 +143,7 @@ Example usage::
 Python version support
 ----------------------
 
-``typing_extensions`` currently supports Python versions 3.9 and higher. In the future,
+``typing_extensions`` currently supports Python versions 3.10 and higher. In the future,
 support for older Python versions will be dropped some time after that version
 reaches end of life.
 
diff --git a/pyproject.toml b/pyproject.toml
index 6dde0165..bce4804b 100644
--- a/pyproject.toml
+++ b/pyproject.toml
@@ -7,9 +7,9 @@ build-backend = "flit_core.buildapi"
 [project]
 name = "typing_extensions"
 version = "4.16.1.dev0"
-description = "Backported and Experimental Type Hints for Python 3.9+"
+description = "Backported and Experimental Type Hints for Python 3.10+"
 readme = "README.md"
-requires-python = ">=3.9"
+requires-python = ">=3.10"
 license = "PSF-2.0"
 license-files = ["LICENSE"]
 keywords = [
@@ -34,7 +34,6 @@ classifiers = [
     "Operating System :: OS Independent",
     "Programming Language :: Python :: 3",
     "Programming Language :: Python :: 3 :: Only",
-    "Programming Language :: Python :: 3.9",
     "Programming Language :: Python :: 3.10",
     "Programming Language :: Python :: 3.11",
     "Programming Language :: Python :: 3.12",