Dependency for Prime

leanprover-community · Nov 1, 2023 · f78229e · f78229e
1 parent f424d55
commit f78229e
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/Game.lean b/Game.lean
@@ -102,6 +102,7 @@ Alternatively, if you experience issues / bugs you can also open github issues:
 Dependency Addition → Multiplication → Power
 --Dependency Addition → AdvAddition → AdvMultiplication → Inequality → Prime → Hard
 Dependency Multiplication → AdvMultiplication → Division
+Dependency Multiplication → AdvMultiplication → Division → Prime
 --Dependency AdvAddition → EvenOdd → Inequality → StrongInduction
 Dependency Addition → Implication → AdvAddition → LessOrEqual
 -- The game automatically computes connections between worlds based on introduced