Update Project.lean

pitmonticone · Nov 11, 2024 · 03462bf · 03462bf
1 parent 2059ed5
commit 03462bf
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/Project.lean b/Project.lean
@@ -1,2 +1 @@
 import Project.Example
-import Mathlib.Data.Nat.Defs