chore: update Mathlib dependencies 2026-07-09 (leanprover-community#41405)

This PR updates the Mathlib dependencies.

Co-authored-by: Bryan Gin-ge Chen <bryangingechen@gmail.com>

Author: 2 people

MathlibTest/Tactic/AesopCat.lean

@@ -12,7 +12,7 @@ example : Foo where
 /--
 error: could not synthesize default value for field 'w' of 'Foo' using tactics
 ---
-error: tactic 'aesop' failed, failed to prove the goal after exhaustive search.
+error: Tactic `aesop` failed, failed to prove the goal after exhaustive search.
 Initial goal:
   ⊢ 35 = 37
 Remaining goals after safe rules:

lake-manifest.json

@@ -45,7 +45,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "b5b9e2bb45ce91e4bc44eaa738c3a8910404ab82",
+   "rev": "24fa6b3599743c23e6debd53d5fd09ebfa587d29",
    "name": "aesop",
    "manifestFile": "lake-manifest.json",
    "inputRev": "master",
@@ -65,7 +65,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "9c6e03c0a86237b199ebe6b1fbac18078a767ade",
+   "rev": "232c5be1450cb3e59fd3486ab87393af0a98986e",
    "name": "batteries",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",