OAI/Combinatorics/IndependentSets/Machines/VertexLabel.lean

GitHub source file

22 declarations, 0 contain sorry, 0 declared as axioms

  1. abbrev OAI.IndependentSetsGames.Foundations.Complexity.MachineLazyRows.VertexLabel line 11
  2. def OAI.IndependentSetsGames.Foundations.Complexity.MachineLazyRows.vertexInstruction line 13
  3. def OAI.IndependentSetsGames.Foundations.Complexity.MachineLazyRows.recordsInput line 23
  4. def OAI.IndependentSetsGames.Foundations.Complexity.MachineLazyRows.recordsOutput line 26
  5. def OAI.IndependentSetsGames.Foundations.Complexity.MachineLazyRows.streamFrame line 29
  6. def OAI.IndependentSetsGames.Foundations.Complexity.MachineLazyRows.vertexSteps line 34
  7. theorem OAI.IndependentSetsGames.Foundations.Complexity.MachineLazyRows.recordsInput_eq_codec line 40
  8. theorem OAI.IndependentSetsGames.Foundations.Complexity.MachineLazyRows.streamFrame_afterRow line 49
  9. theorem OAI.IndependentSetsGames.Foundations.Complexity.MachineLazyRows.vertexSuffixTrace line 66
  10. theorem OAI.IndependentSetsGames.Foundations.Complexity.MachineLazyRows.vertexTrace line 150
  11. theorem OAI.IndependentSetsGames.Foundations.Complexity.MachineLazyRows.encodeWords_flatMap line 166
  12. theorem OAI.IndependentSetsGames.Foundations.Complexity.MachineLazyRows.recordsOutput_lazy line 172
  13. def OAI.IndependentSetsGames.Foundations.Complexity.MachineLazyRows.valueBound line 187
  14. def OAI.IndependentSetsGames.Foundations.Complexity.MachineLazyRows.rowSizeBound line 188
  15. def OAI.IndependentSetsGames.Foundations.Complexity.MachineLazyRows.rowCostBound line 189
  16. theorem OAI.IndependentSetsGames.Foundations.Complexity.MachineLazyRows.reindexValue_le line 192
  17. theorem OAI.IndependentSetsGames.Foundations.Complexity.MachineLazyRows.reindexRowBits_length_le line 201
  18. theorem OAI.IndependentSetsGames.Foundations.Complexity.MachineLazyRows.streamRowSteps_le line 211
  19. theorem OAI.IndependentSetsGames.Foundations.Complexity.MachineLazyRows.vertexSteps_le_capacity line 223
  20. theorem OAI.IndependentSetsGames.Foundations.Complexity.MachineLazyRows.vertexSteps_le line 248
  21. def OAI.IndependentSetsGames.Foundations.Complexity.MachineLazyRows.vertexInTime line 254
  22. def OAI.IndependentSetsGames.Foundations.Complexity.MachineLazyRows.vertexMachine line 275