From 95af7da126e8886efe7f7320ba12f642b60b67b0 Mon Sep 17 00:00:00 2001
From: "github-actions[bot]"
 <41898282+github-actions[bot]@users.noreply.github.com>
Date: Thu, 10 Sep 2026 20:37:35 +0000
Subject: [PATCH] chore: bump mathlib to 01c8d16: feat(Algebra/Module): use
 `IsApply` for `LieHom` (#42132) (2026-09-09)

---
 lake-manifest.json | 8 ++++----
 lakefile.toml      | 2 +-
 2 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/lake-manifest.json b/lake-manifest.json
index 697fead..3b8da9b 100644
--- a/lake-manifest.json
+++ b/lake-manifest.json
@@ -15,10 +15,10 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "85e3a25e006c35636f0e53b0e9296caca2685bc0",
+   "rev": "01c8d16a8c31eed40a54a38a8c8006c4ee001152",
    "name": "mathlib",
    "manifestFile": "lake-manifest.json",
-   "inputRev": "v4.34.0-rc2",
+   "inputRev": "01c8d16a8c31eed40a54a38a8c8006c4ee001152",
    "inherited": false,
    "configFile": "lakefile.lean"},
   {"url": "https://github.com/leanprover/verso",
@@ -55,7 +55,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "d8823026ac7ef130c253089d95685f9877b95323",
+   "rev": "1681d78dd6e65e38b143f9740d829c826673807c",
    "name": "importGraph",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
@@ -95,7 +95,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "d54dddc581e08be364c278052863524bff7a99a9",
+   "rev": "4cac2177c37f5530c4da76aa8e4307f3fc9e4dcb",
    "name": "batteries",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
diff --git a/lakefile.toml b/lakefile.toml
index 863b4e6..6a4f0d8 100644
--- a/lakefile.toml
+++ b/lakefile.toml
@@ -19,7 +19,7 @@ rev = "v4.34.0-rc2"
 [[require]]
 name = "mathlib"
 scope = "leanprover-community"
-rev = "v4.34.0-rc2"
+rev = "01c8d16a8c31eed40a54a38a8c8006c4ee001152"
 
 [[require]]
 name = "axiom-audit"