lake update batteries

kim-em · kim-em · commit c88978591b7a · 2025-12-08T13:58:20.000+11:00
diff --git a/lake-manifest.json b/lake-manifest.json
@@ -65,7 +65,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "9a0ab3e8886a335b378baae6b58ce7df96440dba",
+   "rev": "5266484e9b2569725fc578551d8ad62fa97c2eed",
    "name": "batteries",
    "manifestFile": "lake-manifest.json",
    "inputRev": "nightly-testing",
diff --git a/lean-toolchain b/lean-toolchain
@@ -1 +1 @@
-leanprover/lean4:nightly-2025-12-04
+leanprover/lean4:nightly-2025-12-07
