Update mathlib3 one last time (to port-complete)

eric-wieser · Oct 11, 2023 · 95f789f · 95f789f
1 parent 62f480e
commit 95f789f
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 = "1a51edf13debfcbe223fa06b1cb353b9ed9751cc"}
+mathlib = {git = "https://github.com/leanprover-community/mathlib", rev = "573eea921b01c49712ac02471911df0719297349"}