From 05e1e185347b0c2f641c707941771e27f3e2e474 Mon Sep 17 00:00:00 2001
From: Eric Wieser <wieser.eric@gmail.com>
Date: Mon, 23 Oct 2023 22:38:32 +0000
Subject: [PATCH] Update Lean and Mathlib to the port-complete tag

---
 leanpkg.toml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/leanpkg.toml b/leanpkg.toml
index 7382234..9a7cc27 100644
--- a/leanpkg.toml
+++ b/leanpkg.toml
@@ -1,8 +1,8 @@
 [package]
 name = "lftcm2020"
 version = "0.1"
-lean_version = "leanprover-community/lean:3.50.3"
+lean_version = "leanprover-community/lean:3.51.1"
 path = "src"
 
 [dependencies]
-mathlib = {git = "https://github.com/leanprover-community/mathlib", rev = "9dba31df156d9d65b9d78db449542ca73d147c68"}
+mathlib = {git = "https://github.com/leanprover-community/mathlib", rev = "573eea921b01c49712ac02471911df0719297349"}