last mathlib3 bump?

leanprover-community · Sep 6, 2023 · e827331 · e827331
1 parent 67fb3e1
commit e827331
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/leanpkg.toml b/leanpkg.toml
@@ -5,4 +5,4 @@ lean_version = "leanprover-community/lean:3.51.1"
 path = "src"
 
 [dependencies]
-mathlib = {git = "https://github.com/leanprover-community/mathlib", rev = "32a7e535287f9c73f2e4d2aef306a39190f0b504"}
+mathlib = {git = "https://github.com/leanprover-community/mathlib", rev = "ffde2d8a6e689149e44fd95fa862c23a57f8c780"}