2025-07-25 lean nightly update (#1473)

automatic update of mathlib + lean via GitHub action.

Co-authored-by: github-merge-queue <[email protected]>

Author: tobiasgrosser

lake-manifest.json

@@ -25,17 +25,17 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "08872da5eaa35fa7972f97f1f41efd1b64c0c8f4",
+   "rev": "15c20f8e14302f8100c32c69e6dedccce114e2ac",
    "name": "mathlib",
    "manifestFile": "lake-manifest.json",
-   "inputRev": "nightly-testing-2025-07-23",
+   "inputRev": "nightly-testing-2025-07-25",
    "inherited": false,
    "configFile": "lakefile.lean"},
   {"url": "https://github.com/leanprover-community/plausible",
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "61c44bec841faabd47d11c2eda15f57ec2ffe9d5",
+   "rev": "c37191eba2da78393070da8c4367689d8c4276e4",
    "name": "plausible",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
@@ -75,7 +75,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "04e14ebf614eef745f0e7d504077d0aaaaf24edc",
+   "rev": "0a136f764a5dfedc4498e93ad8e297cff57ba2fc",
    "name": "aesop",
    "manifestFile": "lake-manifest.json",
    "inputRev": "master",
@@ -85,7 +85,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "867d9dc77534341321179c9aa40fceda675c50d4",
+   "rev": "1ef3dac0f872ca6aaa7d02e015427e06dd0b6195",
    "name": "Qq",
    "manifestFile": "lake-manifest.json",
    "inputRev": "master",
@@ -95,7 +95,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "90e4b0036add87ba63e9b19161b6c425987ef6f4",
+   "rev": "ae8ca05d235b8de70bb178afe07412e8b3e3e462",
    "name": "batteries",
    "manifestFile": "lake-manifest.json",
    "inputRev": "nightly-testing",

lakefile.toml

@@ -6,7 +6,7 @@ moreLeanArgs = ["--tstack=400000"]
 [[require]]
 name = "mathlib"
 git = "https://github.com/leanprover-community/mathlib4-nightly-testing"
-rev = "nightly-testing-2025-07-23"
+rev = "nightly-testing-2025-07-25"
 
 [[require]]
 name = "Cli"

lean-toolchain

@@ -1 +1 @@
-leanprover/lean4:nightly-2025-07-23
+leanprover/lean4:nightly-2025-07-25