chore: bump mathlib

leanprover-community · Jul 26, 2023 · cd446d1 · cd446d1
1 parent 0aadbf2
commit cd446d1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/lake-manifest.json b/lake-manifest.json
@@ -16,7 +16,7 @@
   {"git":
    {"url": "https://github.com/leanprover-community/mathlib4",
     "subDir?": null,
-    "rev": "4bf4f50c0a1ac06e08be83bfb0f728b0341ca515",
+    "rev": "3bbd2041a878cf5b5e8e84580e2d554766ffed46",
     "name": "mathlib",
     "inputRev?": "master"}},
   {"git":