OAI/Computability/MinUncut/Games/QuestionArithmetic.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.MinUncut.Outer.LocalTemplate.equationNumber line 14
2. def OAI.MinUncut.Outer.LocalTemplate.firstNumber line 17
3. def OAI.MinUncut.Outer.LocalTemplate.secondNumber line 20
4. lemma OAI.MinUncut.Outer.LocalTemplate.equation_code line 23
5. lemma OAI.MinUncut.Outer.LocalTemplate.first_code line 24
6. lemma OAI.MinUncut.Outer.LocalTemplate.second_code line 26
7. def OAI.MinUncut.Outer.LocalTemplate.tableNumber line 35
8. lemma OAI.MinUncut.Outer.LocalTemplate.variable_number line 38
9. def OAI.MinUncut.Outer.LocalTemplate.Query.leftNumber line 43
10. def OAI.MinUncut.Outer.LocalTemplate.Query.rightNumber line 47
11. lemma OAI.MinUncut.Outer.LocalTemplate.Query.left_number line 50
12. lemma OAI.MinUncut.Outer.LocalTemplate.Query.right_number line 60