diff --git a/lake-manifest.json b/lake-manifest.json
index ebee154c6..e7ec4e2b3 100644
--- a/lake-manifest.json
+++ b/lake-manifest.json
@@ -5,10 +5,10 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "e2cdef5873567eac80fffcc65042a31420b2056c",
+   "rev": "7318bbbce45e32a12fda50711dd03f82b6c63595",
    "name": "mathlib",
    "manifestFile": "lake-manifest.json",
-   "inputRev": "nightly-testing-2026-07-12",
+   "inputRev": "nightly-testing-2026-07-15",
    "inherited": false,
    "configFile": "lakefile.lean"},
   {"url": "https://github.com/leanprover-community/plausible",
@@ -35,7 +35,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "41f407a8e85b0fdc00910633a8f14754139b63f4",
+   "rev": "7e9612bf0b9ee66db3cb5b9988a35afc706f5a12",
    "name": "importGraph",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
@@ -75,7 +75,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "3e6da96520276951525feb9bcf26000645c0438a",
+   "rev": "b0b553e7df12030a6def6e8e47e8ab1ba762449b",
    "name": "batteries",
    "manifestFile": "lake-manifest.json",
    "inputRev": "nightly-testing",
@@ -85,10 +85,10 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover",
-   "rev": "406ebb8c8e2f7e852a1b47764b42494022ce652c",
+   "rev": "88679d088c9720c27ebdf2ba4dafe17341747f94",
    "name": "Cli",
    "manifestFile": "lake-manifest.json",
-   "inputRev": "v4.32.0-rc1",
+   "inputRev": "v4.32.0",
    "inherited": true,
    "configFile": "lakefile.toml"}],
  "name": "cslib",
diff --git a/lakefile.toml b/lakefile.toml
index 6ee624d06..c974f960e 100644
--- a/lakefile.toml
+++ b/lakefile.toml
@@ -18,7 +18,7 @@ weak.linter.unicodeLinter = false
 [[require]]
 name = "mathlib"
 git = "https://github.com/leanprover-community/mathlib4-nightly-testing"
-rev = "nightly-testing-2026-07-12"
+rev = "nightly-testing-2026-07-15"
 
 [[lean_lib]]
 name = "Cslib"
diff --git a/lean-toolchain b/lean-toolchain
index 190a6b513..a8da8927a 100644
--- a/lean-toolchain
+++ b/lean-toolchain
@@ -1 +1 @@
-leanprover/lean4:nightly-2026-07-12
+leanprover/lean4:nightly-2026-07-15