chore: bump mathlib

leanprover-community · May 27, 2024 · 7c1bec5 · 7c1bec5
1 parent cd17854
commit 7c1bec5
Showing 1 changed file with 1 addition and 1 deletion.
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": "f3612d5fb5c08d1a1a2e6a4dc97800f2876c9d93",
+   "rev": "b0eb4bbc7ec80e6be10133c9be693245d3461d26",
    "name": "mathlib",
    "manifestFile": "lake-manifest.json",
    "inputRev": "master",