made existance file work, removed whitespace

brandon-sisler · brandon-sisler · commit 279d08bbee95 · 2023-06-12T15:20:51.000-05:00
diff --git a/lake-manifest.json b/lake-manifest.json
@@ -10,7 +10,7 @@
   {"git":
    {"url": "https://github.com/leanprover-community/mathlib4.git",
     "subDir?": null,
-    "rev": "021caebae2e1d4a57add2ed679feedc649eab0ca",
+    "rev": "f16a40917bde07e357c8d1c3500ec8ede96a8750",
     "name": "mathlib",
     "inputRev?": null}},
   {"git":
diff --git a/my_project/brandon.lean b/my_project/brandon.lean
@@ -1,2 +1,4 @@
 import Mathlib 
 
+
+
diff --git a/my_project/existance.lean b/my_project/existance.lean
