OAI/Combinatorics/IndependentSets/Machines/MachineExpanderRow.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.IndependentSetsGames.Foundations.Complexity.MachineExpanderRow.concatenate line 11
2. def OAI.IndependentSetsGames.Foundations.Complexity.MachineExpanderRow.rowSteps line 15
3. theorem OAI.IndependentSetsGames.Foundations.Complexity.MachineExpanderRow.rowTraceAt line 33
4. theorem OAI.IndependentSetsGames.Foundations.Complexity.MachineExpanderRow.rowSteps_le line 157
5. def OAI.IndependentSetsGames.Foundations.Complexity.MachineExpanderRow.rowInTimeAt line 175
6. def OAI.IndependentSetsGames.Foundations.Complexity.MachineExpanderRow.rowInTime line 190