chore: bump mathlib

leanprover-community-bot · leanprover-community-bot · commit 45d3231f884c · 2024-04-27T07:37:53.000Z
diff --git a/lake-manifest.json b/lake-manifest.json
@@ -58,7 +58,7 @@
   {"url": "https://github.com/leanprover-community/mathlib4",
    "type": "git",
    "subDir": null,
-   "rev": "3d892b71de5b062b8adc7126a4666f8b5db64362",
+   "rev": "33a5bedd14e5432d6700f73af7e0aba87741727d",
    "name": "mathlib",
    "manifestFile": "lake-manifest.json",
    "inputRev": "master",
