chore: bump mathlib

leanprover-community · Jul 29, 2023 · 52223db · 52223db
1 parent cc8eaa1
commit 52223db
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": "6220e1d0219e245327c603be771b67aea0fdeb4d",
+    "rev": "f39466cb99f0b941b72e1d918d139ef25a419023",
     "name": "mathlib",
     "inputRev?": "master"}},
   {"git":