OAI/Combinatorics/IndependentSets/Expansion/PreprocessingLazyWords.lean

GitHub source file

22 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.IndependentSetsGames.Foundations.PCP.PreprocessingLazyWords.row line 13
  2. def OAI.IndependentSetsGames.Foundations.PCP.PreprocessingLazyWords.trueRelation line 17
  3. def OAI.IndependentSetsGames.Foundations.PCP.PreprocessingLazyWords.stayRow line 19
  4. def OAI.IndependentSetsGames.Foundations.PCP.PreprocessingLazyWords.moveRow line 22
  5. def OAI.IndependentSetsGames.Foundations.PCP.PreprocessingLazyWords.reverseMap line 28
  6. theorem OAI.IndependentSetsGames.Foundations.PCP.PreprocessingLazyWords.relation_ext line 30
  7. theorem OAI.IndependentSetsGames.Foundations.PCP.PreprocessingLazyWords.row_lazy_stay line 37
  8. theorem OAI.IndependentSetsGames.Foundations.PCP.PreprocessingLazyWords.row_lazy_move line 50
  9. theorem OAI.IndependentSetsGames.Foundations.PCP.PreprocessingLazyWords.stayRow_reverse_val line 63
  10. theorem OAI.IndependentSetsGames.Foundations.PCP.PreprocessingLazyWords.moveRow_reverse_val line 68
  11. theorem OAI.IndependentSetsGames.Foundations.PCP.PreprocessingLazyWords.relationWords_true line 76
  12. theorem OAI.IndependentSetsGames.Foundations.PCP.PreprocessingLazyWords.stayRow_words line 80
  13. theorem OAI.IndependentSetsGames.Foundations.PCP.PreprocessingLazyWords.moveRow_words line 86
  14. theorem OAI.IndependentSetsGames.Foundations.PCP.PreprocessingLazyWords.ofFn_rowIndex line 93
  15. theorem OAI.IndependentSetsGames.Foundations.PCP.PreprocessingLazyWords.flatRows_list line 107
  16. theorem OAI.IndependentSetsGames.Foundations.PCP.PreprocessingLazyWords.ofFn_lazyPorts line 114
  17. def OAI.IndependentSetsGames.Foundations.PCP.PreprocessingLazyWords.vertexRows line 127
  18. theorem OAI.IndependentSetsGames.Foundations.PCP.PreprocessingLazyWords.vertexRows_length line 131
  19. theorem OAI.IndependentSetsGames.Foundations.PCP.PreprocessingLazyWords.flatRows_lazy line 136
  20. theorem OAI.IndependentSetsGames.Foundations.PCP.PreprocessingLazyWords.vertexRows_words line 146
  21. theorem OAI.IndependentSetsGames.Foundations.PCP.PreprocessingLazyWords.tableWords_lazy line 166
  22. theorem OAI.IndependentSetsGames.Foundations.PCP.PreprocessingLazyWords.tableBits_lazy line 171