update mathlib

dwrensha · Sep 12, 2023 · ba53b3e · ba53b3e
1 parent e5dde60
commit ba53b3e
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 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": "a9f0f4a6fde06b57f339663a19b6be2ba07a4a4f",
+    "rev": "198327e1ab3a723e3713643c936e5d9dbeea7e19",
     "opts": {},
     "name": "mathlib",
-    "inputRev?": "a9f0f4a6fde06b57f339663a19b6be2ba07a4a4f",
+    "inputRev?": "198327e1ab3a723e3713643c936e5d9dbeea7e19",
     "inherited": false}},
   {"git":
    {"url": "https://github.com/gebner/quote4",
@@ -44,7 +44,7 @@
   {"git":
    {"url": "https://github.com/leanprover/std4",
     "subDir?": null,
-    "rev": "e8c27f7d90ee71470558efd1bc197fe55068c748",
+    "rev": "2a10db96d0ea1c00d0b30d2bbcea7e7b4584ffba",
     "opts": {},
     "name": "std",
     "inputRev?": "main",

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" @ "a9f0f4a6fde06b57f339663a19b6be2ba07a4a4f"
+require mathlib from git "https://github.com/leanprover-community/mathlib4" @ "198327e1ab3a723e3713643c936e5d9dbeea7e19"