OAI/Combinatorics/IndependentSets/Machines/MachineAppend.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.IndependentSetsGames.Foundations.Complexity.MachineAppendAt.Alphabet line 14
2. def OAI.IndependentSetsGames.Foundations.Complexity.MachineAppendAt.appendTapes line 16
3. theorem OAI.IndependentSetsGames.Foundations.Complexity.MachineAppendAt.appendTapes_source line 20
4. theorem OAI.IndependentSetsGames.Foundations.Complexity.MachineAppendAt.appendTapes_destination line 25
5. theorem OAI.IndependentSetsGames.Foundations.Complexity.MachineAppendAt.appendTapes_other line 29
6. theorem OAI.IndependentSetsGames.Foundations.Complexity.MachineAppendAt.appendTapes_scratch line 34
7. def OAI.IndependentSetsGames.Foundations.Complexity.MachineAppendAt.firstTapes line 41
8. def OAI.IndependentSetsGames.Foundations.Complexity.MachineAppendAt.secondTapes line 44
9. theorem OAI.IndependentSetsGames.Foundations.Complexity.MachineAppendAt.finalTapes_eq line 48
10. theorem OAI.IndependentSetsGames.Foundations.Complexity.MachineAppendAt.appendTrace line 70
11. def OAI.IndependentSetsGames.Foundations.Complexity.MachineAppendAt.appendInTime line 140