Bump mathlib

nomeata · Sep 2, 2023 · d8c5c12 · d8c5c12
1 parent fefbffc
commit d8c5c12
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/flake.lock b/flake.lock
diff --git a/lake-manifest.json b/lake-manifest.json
@@ -20,7 +20,7 @@
   {"git":
    {"url": "https://github.com/leanprover-community/mathlib4",
     "subDir?": null,
-    "rev": "dfc639a86e2592569d1f2c20f0306d767c0e2c21",
+    "rev": "60e74fe402d88eb42d655ec6ff33093683dee2e3",
     "opts": {},
     "name": "mathlib",
     "inputRev?": "joachim/find",