OAI/Combinatorics/IndependentSets/PCP/Body.lean

GitHub source file

22 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.IndependentSetsGames.Foundations.PCP.AlphabetTable.Body.bodyTime line 15
  2. structure OAI.IndependentSetsGames.Foundations.PCP.AlphabetTable.Body.RowStepResult line 18
  3. def OAI.IndependentSetsGames.Foundations.PCP.AlphabetTable.Body.guardTapes line 28
  4. def OAI.IndependentSetsGames.Foundations.PCP.AlphabetTable.Body.parsedTapes line 32
  5. def OAI.IndependentSetsGames.Foundations.PCP.AlphabetTable.Body.workingTapes line 37
  6. def OAI.IndependentSetsGames.Foundations.PCP.AlphabetTable.Body.emittedTapes line 41
  7. def OAI.IndependentSetsGames.Foundations.PCP.AlphabetTable.Body.clearFieldsTapes line 46
  8. def OAI.IndependentSetsGames.Foundations.PCP.AlphabetTable.Body.resultTapes line 49
  9. theorem OAI.IndependentSetsGames.Foundations.PCP.AlphabetTable.Body.workingTapes_other line 54
  10. theorem OAI.IndependentSetsGames.Foundations.PCP.AlphabetTable.Body.workingTapes_counter line 64
  11. theorem OAI.IndependentSetsGames.Foundations.PCP.AlphabetTable.Body.workingTapes_cursor line 70
  12. theorem OAI.IndependentSetsGames.Foundations.PCP.AlphabetTable.Body.workingTapes_tail line 76
  13. theorem OAI.IndependentSetsGames.Foundations.PCP.AlphabetTable.Body.workingTapes_reverse line 82
  14. theorem OAI.IndependentSetsGames.Foundations.PCP.AlphabetTable.Body.workingTapes_head line 88
  15. def OAI.IndependentSetsGames.Foundations.PCP.AlphabetTable.Body.clearFieldsInTime line 95
  16. def OAI.IndependentSetsGames.Foundations.PCP.AlphabetTable.Body.incrementInTime line 117
  17. theorem OAI.IndependentSetsGames.Foundations.PCP.AlphabetTable.Body.emitterView_at line 132
  18. theorem OAI.IndependentSetsGames.Foundations.PCP.AlphabetTable.Body.context_rowState line 142
  19. def OAI.IndependentSetsGames.Foundations.PCP.AlphabetTable.Body.emitInTime line 151
  20. theorem OAI.IndependentSetsGames.Foundations.PCP.AlphabetTable.Body.result_ready line 189
  21. theorem OAI.IndependentSetsGames.Foundations.PCP.AlphabetTable.Body.workingOperands line 200
  22. def OAI.IndependentSetsGames.Foundations.PCP.AlphabetTable.Body.rowStep line 210