OAI/Combinatorics/IndependentSets/Machines/Execution.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.IndependentSetsGames.Foundations.Complexity.MachineRegularOriginalRow.join_trace line 13
2. theorem OAI.IndependentSetsGames.Foundations.Complexity.MachineRegularOriginalRow.lookupTrace line 17
3. theorem OAI.IndependentSetsGames.Foundations.Complexity.MachineRegularOriginalRow.copyTrace line 31
4. theorem OAI.IndependentSetsGames.Foundations.Complexity.MachineRegularOriginalRow.affineTrace line 46
5. theorem OAI.IndependentSetsGames.Foundations.Complexity.MachineRegularOriginalRow.emitTrace line 67
6. theorem OAI.IndependentSetsGames.Foundations.Complexity.MachineRegularOriginalRow.traceAt line 93
7. def OAI.IndependentSetsGames.Foundations.Complexity.MachineRegularOriginalRow.timeBound line 109
8. theorem OAI.IndependentSetsGames.Foundations.Complexity.MachineRegularOriginalRow.steps_le line 112
9. def OAI.IndependentSetsGames.Foundations.Complexity.MachineRegularOriginalRow.machineInTime line 129