diff --git a/lakefile.toml b/lakefile.toml
index 0247e04..211f3d8 100644
--- a/lakefile.toml
+++ b/lakefile.toml
@@ -11,7 +11,7 @@
 [[require]]
 name = "mathlib"
-scope = "leanprover-community"
-rev = "v4.34.0"
+git = "https://github.com/leanprover-community/mathlib4.git"
+rev = "d13f23b723b8a846827a245b89c10fc7d3f11612"

 [[require]]
 name = "checkdecls"
diff --git a/lean-toolchain b/lean-toolchain
index 12359f9..ba8ebf2 100644
--- a/lean-toolchain
+++ b/lean-toolchain
@@ -1 +1 @@
-leanprover/lean4:v4.34.0
+leanprover/lean4:v4.34.1