import algorithm world in advanced addition world

2024-01-23 20:59:34 +00:00
parent 9e6ce0669e
commit 93b980fc79
1 changed files with 1 additions and 0 deletions
--- a/Game/Levels/AdvAddition/L01add_right_cancel.lean
+++ b/Game/Levels/AdvAddition/L01add_right_cancel.lean
@@ -1,4 +1,5 @@
 import Game.Levels.Implication
+import Game.Levels.Algorithm

 World "AdvAddition"
 Level 1