OAI/Combinatorics/IndependentSets/Encoding/GameEncoding.lean

GitHub source file

28 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.IndependentSetsGames.Foundations.Complexity.parseLabel line 10
  2. theorem OAI.IndependentSetsGames.Foundations.Complexity.parseLabel_value line 13
  3. theorem OAI.IndependentSetsGames.Foundations.Complexity.parseLabels_values line 16
  4. def OAI.IndependentSetsGames.Foundations.Complexity.parseImages line 22
  5. theorem OAI.IndependentSetsGames.Foundations.Complexity.parseImages_values line 28
  6. def OAI.IndependentSetsGames.Foundations.Complexity.findPreimage line 35
  7. theorem OAI.IndependentSetsGames.Foundations.Complexity.findPreimage_permutation line 38
  8. def OAI.IndependentSetsGames.Foundations.Complexity.searchedInverse line 57
  9. theorem OAI.IndependentSetsGames.Foundations.Complexity.searchedInverse_permutation line 60
  10. def OAI.IndependentSetsGames.Foundations.Complexity.tableWords line 66
  11. def OAI.IndependentSetsGames.Foundations.Complexity.parsePermutation line 69
  12. theorem OAI.IndependentSetsGames.Foundations.Complexity.parsePermutation_encoded line 78
  13. theorem OAI.IndependentSetsGames.Foundations.Complexity.tableWords_length line 85
  14. def OAI.IndependentSetsGames.Foundations.Complexity.constraintWords line 88
  15. def OAI.IndependentSetsGames.Foundations.Complexity.parseConstraint line 91
  16. theorem OAI.IndependentSetsGames.Foundations.Complexity.parseConstraint_encoded line 100
  17. def OAI.IndependentSetsGames.Foundations.Complexity.parseConstraints line 109
  18. theorem OAI.IndependentSetsGames.Foundations.Complexity.parseConstraints_encoded line 117
  19. def OAI.IndependentSetsGames.Foundations.Complexity.gameWords line 126
  20. def OAI.IndependentSetsGames.Foundations.Complexity.gameBits line 129
  21. def OAI.IndependentSetsGames.Foundations.Complexity.decodeGameWords line 131
  22. theorem OAI.IndependentSetsGames.Foundations.Complexity.decodeGameWords_encoded line 141
  23. def OAI.IndependentSetsGames.Foundations.Complexity.decodeGameBits line 149
  24. theorem OAI.IndependentSetsGames.Foundations.Complexity.decodeGameBits_encoded line 152
  25. theorem OAI.IndependentSetsGames.Foundations.Complexity.gameBits_injective line 156
  26. theorem OAI.IndependentSetsGames.Foundations.Complexity.constraintWords_length line 161
  27. theorem OAI.IndependentSetsGames.Foundations.Complexity.constraintsWords_length line 164
  28. theorem OAI.IndependentSetsGames.Foundations.Complexity.gameWords_length line 173