chore: update Mathlib dependencies 2026-02-12 (#35159)

This PR updates the Mathlib dependencies.

Co-authored-by: bryangingechen <[email protected]>

Author: mathlib-update-dependencies[bot]

lake-manifest.json

@@ -15,7 +15,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "5ce7f0a355f522a952a3d678d696bd563bb4fd28",
+   "rev": "c5d5b8fe6e5158def25cd28eb94e4141ad97c843",
    "name": "LeanSearchClient",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
@@ -65,7 +65,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "100083c18750b6a9b7553c65f6b052c0a2f6bcb4",
+   "rev": "78a9bfe6b811fece2e00bf2c92e30729eeb8dc4e",
    "name": "batteries",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",