chore: bump mathlib to d0809a7: chore: adaptations for batteries#1950 (#42990) (2026-08-21)

Author: github-actions[bot]

lake-manifest.json

@@ -5,10 +5,10 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "7226ed1cd5075239c681c56a3aae971e310c26f7",
+   "rev": "d0809a79a47f7723b7dc62a2fb278685c5e407cf",
    "name": "mathlib",
    "manifestFile": "lake-manifest.json",
-   "inputRev": "7226ed1cd5075239c681c56a3aae971e310c26f7",
+   "inputRev": "d0809a79a47f7723b7dc62a2fb278685c5e407cf",
    "inherited": false,
    "configFile": "lakefile.lean"},
   {"url": "https://github.com/leanprover/verso",
@@ -85,7 +85,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "36cc05ca2d0e469bfbeea9437f460e19238e885e",
+   "rev": "d4514ba578f08f03d1216820c0da2c086433e979",
    "name": "batteries",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",

lakefile.toml

@@ -17,7 +17,7 @@ rev = "v4.33.0"
 [[require]]
 name = "mathlib"
 scope = "leanprover-community"
-rev = "7226ed1cd5075239c681c56a3aae971e310c26f7"
+rev = "d0809a79a47f7723b7dc62a2fb278685c5e407cf"
 
 [[lean_lib]]
 name = "LeanMachineLearning"