chore: update Mathlib dependencies 2025-10-10 (leanprover-community#30401)

This PR updates the Mathlib dependencies.

[workflow run for this PR](https://github.com/leanprover-community/mathlib4/actions/runs/18408982943)

Co-authored-by: leanprover-community-mathlib4-bot <leanprover-community-mathlib4-bot@users.noreply.github.com>

Author: mathlib4-update-dependencies-bot

lake-manifest.json

@@ -45,7 +45,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "9e8de5716b162ec8983a89711a186d13ff871c22",
+   "rev": "5cd4d7eb072d267662693c77c596db05c4079223",
    "name": "aesop",
    "manifestFile": "lake-manifest.json",
    "inputRev": "master",
@@ -65,7 +65,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "6f7d05f4955eb5af9799d828b697251bb2c9c0b8",
+   "rev": "a05c7c71ffa5dc15546103f81f63e381ae4730c6",
    "name": "batteries",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",