From a91ba5b4eae61c2442da8667983f675047624d42 Mon Sep 17 00:00:00 2001
From: leanprover-community-bot <leanprover.community@gmail.com>
Date: Wed, 2 Aug 2023 07:38:40 +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 cb01afbe2..4ca65add8 100644
--- a/lake-manifest.json
+++ b/lake-manifest.json
@@ -16,7 +16,7 @@
   {"git":
    {"url": "https://github.com/leanprover-community/mathlib4",
     "subDir?": null,
-    "rev": "6c5ad83c2ca4a6e03ae9e33fa52220712b8a9faf",
+    "rev": "4f0b2d5b5e6a9cce7a742dd139b3235affa81128",
     "name": "mathlib",
     "inputRev?": "master"}},
   {"git":