update mathlib

dwrensha · Sep 10, 2023 · cfd1e81 · cfd1e81
1 parent 02cb30c
commit cfd1e81
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/lake-manifest.json b/lake-manifest.json
@@ -20,10 +20,10 @@
   {"git":
    {"url": "https://github.com/leanprover-community/mathlib4",
     "subDir?": null,
-    "rev": "2df6bb4167844ead7631ba547d6a44d465c0b37b",
+    "rev": "7d308680dc444730e84a86c72357ad9a7aea9c4b",
     "opts": {},
     "name": "mathlib",
-    "inputRev?": "2df6bb4167844ead7631ba547d6a44d465c0b37b",
+    "inputRev?": "7d308680dc444730e84a86c72357ad9a7aea9c4b",
     "inherited": false}},
   {"git":
    {"url": "https://github.com/gebner/quote4",

diff --git a/lakefile.lean b/lakefile.lean
@@ -12,4 +12,4 @@ lean_exe buildWebpage where
   root := `scripts.buildWebpage
   supportInterpreter := true
 
-require mathlib from git "https://github.com/leanprover-community/mathlib4" @ "2df6bb4167844ead7631ba547d6a44d465c0b37b"
+require mathlib from git "https://github.com/leanprover-community/mathlib4" @ "7d308680dc444730e84a86c72357ad9a7aea9c4b"