chore: bump mathlib

leanprover-community-bot · leanprover-community-bot · commit 8702a31b545b · 2024-04-13T07:38:37.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": "0129c03d472122942842231fbebc417900ceaaec",
+   "rev": "c411fe2ecebdd6e1b30a0b28987f323f64671920",
    "name": "mathlib",
    "manifestFile": "lake-manifest.json",
    "inputRev": "master",
