chore: bump mathlib

leanprover-community-bot · leanprover-community-bot · commit a381b1050a6c · 2024-04-18T07:38:41.000Z
diff --git a/lake-manifest.json b/lake-manifest.json
@@ -58,7 +58,7 @@
   {"url": "https://github.com/leanprover-community/mathlib4",
    "type": "git",
    "subDir": null,
-   "rev": "d5ffcef12ab412963ee3026cba47000080ed9607",
+   "rev": "0a626e733c44b3ca24e55b6476c738dcf8a5e47c",
    "name": "mathlib",
    "manifestFile": "lake-manifest.json",
    "inputRev": "master",
