chore: update Mathlib dependencies 2024-07-30 (#15317)

mathlib-bors[bot] · mathlib-bors[bot] · commit f569f4e2b178 · 2024-07-30T14:30:01.000Z
This PR updates the Mathlib dependencies.
diff --git a/lake-manifest.json b/lake-manifest.json
@@ -25,7 +25,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "79fb157c6a5061190d169535f8e5cb007914a82e",
+   "rev": "9c66fa5071dba9578bb20a3bade04bcc15c57fc2",
    "name": "aesop",
    "manifestFile": "lake-manifest.json",
    "inputRev": "master",
