another panic aargh

2023-08-12 05:36:26 +01:00
parent 8ecb0be912
commit 6256c49e47
1 changed files with 4 additions and 1 deletions
--- a/Game.lean
+++ b/Game.lean
@@ -65,6 +65,9 @@ If you delete it, your progress will be lost!

 -- Add manual paths
 -- Dependency Proposition → AdvProposition
-- Dependency Multiplication → Function
+Dependency Addition → Multiplication → Power
+Dependency Addition → AdvAddition → AdvMultiplication → Inequality → Prime → Hard
+Dependency Multiplication → AdvMultiplication
+Dependency AdvAddition → Evendd → Inequality → StrongInduction

 MakeGame