update mathlib

dwrensha · Dec 14, 2024 · 8888963 · 8888963
1 parent 90e7c43
commit 8888963
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/lake-manifest.json b/lake-manifest.json
@@ -5,7 +5,7 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "4d27973f4196ab691a7f82f5ee7c5dadf6e4b754",
+   "rev": "2cc36657a9903ea18c4e4337e82211045982d9ef",
    "name": "tryAtEachStep",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
@@ -15,7 +15,7 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "658f6495b5cc142add209df9c45b314281a67d39",
+   "rev": "b09464fc7b0ff4bcfd4de7ff54289799009b5913",
    "name": "mathlib",
    "manifestFile": "lake-manifest.json",
    "inputRev": "master",