Skip to content

Commit 5d703a9

Browse files
pythongirl325pythongirl325
committed
fixed root file imports
1 parent 3f35515 commit 5d703a9

File tree

2 files changed

+3
-2
lines changed

2 files changed

+3
-2
lines changed

‎RecMath.lean‎

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1,3 @@
1-
import RecMath.Basic
1+
import RecMath.Collatz
2+
import RecMath.HList
3+
import RecMath.SortingNetwork

‎RecMath/Basic.lean‎

Lines changed: 0 additions & 1 deletion
This file was deleted.

0 commit comments

Comments
 (0)