Skip to content

Commit 74a154c

Browse files
joneugsterjoneugster
committed
fix MathlibDemo
1 parent 7efe468 commit 74a154c

File tree

1 file changed

+0
-1
lines changed

1 file changed

+0
-1
lines changed

‎Projects/MathlibDemo/MathlibDemo.lean‎

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,4 +6,3 @@ import MathlibDemo.Bijection
66
import MathlibDemo.Logic
77
import MathlibDemo.Rational
88
import MathlibDemo.Ring
9-
import MathlibDemo.MathlibDemo

0 commit comments

Comments
 (0)