update mathlib

ChrisHughes24 · Nov 21, 2022 · 801e4d9 · 801e4d9
1 parent edc401b
commit 801e4d9
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/leanpkg.toml b/leanpkg.toml
@@ -1,8 +1,8 @@
 [package]
 name = "lean3bits"
 version = "0.1"
-lean_version = "leanprover-community/lean:3.48.0"
+lean_version = "leanprover-community/lean:3.49.1"
 path = "src"
 
 [dependencies]
-mathlib = {git = "https://github.com/leanprover-community/mathlib", rev = "aae5e52b3b75706dae7df204e89ea7e5f673a64e"}
+mathlib = {git = "https://github.com/leanprover-community/mathlib", rev = "568eb9b432c885f2a2cb8fe3bbfa77467e774da7"}