chore: update Mathlib dependencies 2025-06-09 (#25610)

mathlib-bors[bot] · mathlib-bors[bot] · commit fb2feae156bb · 2025-06-09T02:22:49.000Z
This PR updates the Mathlib dependencies.
diff --git a/lake-manifest.json b/lake-manifest.json
@@ -65,7 +65,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "4765a4ee7ab89f407e4bc1d2aa1dbae83bd95e16",
+   "rev": "a6848548537d21596baff3f9453695b7d1f766f6",
    "name": "batteries",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
