leanprover-community · amilchew · Mar 16, 2023 · Mar 16, 2023 · Mar 16, 2023 · Mar 16, 2023
diff --git a/Max-Flow_Min-Cut_Proof.pdf b/Max-Flow_Min-Cut_Proof.pdf
diff --git a/leanpkg.toml b/leanpkg.toml
@@ -5,3 +5,4 @@ lean_version = "leanprover-community/lean:3.50.3"
 path = "src"
 
 [dependencies]
+mathlib = {git = "https://github.com/leanprover-community/mathlib", rev = "290a7ba01fbcab1b64757bdaa270d28f4dcede35"}
Original file line number	Diff line number	Diff line change
Expand Up		@@ -5,3 +5,4 @@ lean_version = "leanprover-community/lean:3.50.3"
		path = "src"

		[dependencies]
		mathlib = {git = "https://github.com/leanprover-community/mathlib", rev = "290a7ba01fbcab1b64757bdaa270d28f4dcede35"}
Copy link Member eric-wieser May 12, 2023 Choose a reason for hiding this comment The reason will be displayed to describe this comment to others. Learn more. This doesn't make any sense in mathlib itself! amilchew reacted with thumbs up emoji Copy link Collaborator Author amilchew May 12, 2023 Choose a reason for hiding this comment The reason will be displayed to describe this comment to others. Learn more. Removed.