From cd446d1c6ea72f9841068708dec42b863c582e92 Mon Sep 17 00:00:00 2001 From: leanprover-community-bot Date: Wed, 26 Jul 2023 07:38:20 +0000 Subject: [PATCH] chore: bump mathlib --- lake-manifest.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lake-manifest.json b/lake-manifest.json index 6d2ee1197..1a3d05865 100644 --- a/lake-manifest.json +++ b/lake-manifest.json @@ -16,7 +16,7 @@ {"git": {"url": "https://github.com/leanprover-community/mathlib4", "subDir?": null, - "rev": "4bf4f50c0a1ac06e08be83bfb0f728b0341ca515", + "rev": "3bbd2041a878cf5b5e8e84580e2d554766ffed46", "name": "mathlib", "inputRev?": "master"}}, {"git":