Skip to content

Commit ed67c1c

Browse files
daniel-levindaniel-levin
authored
Merge pull request #1 from euprunin/build-all
2 parents f26b7d5 + 27e1e8f commit ed67c1c

1 file changed

Lines changed: 4 additions & 1 deletion

File tree

‎Minimathlib.lean‎

Lines changed: 4 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,2 +1,5 @@
1-
import Minimathlib.Set
1+
import Minimathlib.Debug
22
import Minimathlib.Group
3+
import Minimathlib.Junk
4+
import Minimathlib.Set
5+
import Minimathlib.Topology

0 commit comments

Comments
 (0)