OAI/Computability/MinUncut/PCP/PreprocessingOverlayWords.lean

GitHub source file

21 declarations, 0 contain sorry, 0 declared as axioms

  1. abbrev OAI.MinUncutGames.Foundations.PCP.PreprocessingOverlayWords.row line 15
  2. abbrev OAI.MinUncutGames.Foundations.PCP.PreprocessingOverlayWords.trueRelation line 16
  3. def OAI.MinUncutGames.Foundations.PCP.PreprocessingOverlayWords.oldReverseMap line 18
  4. def OAI.MinUncutGames.Foundations.PCP.PreprocessingOverlayWords.expanderReverseMap line 19
  5. def OAI.MinUncutGames.Foundations.PCP.PreprocessingOverlayWords.oldRow line 21
  6. def OAI.MinUncutGames.Foundations.PCP.PreprocessingOverlayWords.expanderRow line 27
  7. theorem OAI.MinUncutGames.Foundations.PCP.PreprocessingOverlayWords.relation_ext line 32
  8. theorem OAI.MinUncutGames.Foundations.PCP.PreprocessingOverlayWords.row_overlay_old line 39
  9. theorem OAI.MinUncutGames.Foundations.PCP.PreprocessingOverlayWords.row_overlay_expander line 52
  10. theorem OAI.MinUncutGames.Foundations.PCP.PreprocessingOverlayWords.oldRow_reverse_val line 68
  11. theorem OAI.MinUncutGames.Foundations.PCP.PreprocessingOverlayWords.expanderRow_reverse_val line 76
  12. theorem OAI.MinUncutGames.Foundations.PCP.PreprocessingOverlayWords.oldRow_words line 84
  13. theorem OAI.MinUncutGames.Foundations.PCP.PreprocessingOverlayWords.expanderRow_words line 91
  14. theorem OAI.MinUncutGames.Foundations.PCP.PreprocessingOverlayWords.ofFn_overlayPorts line 101
  15. def OAI.MinUncutGames.Foundations.PCP.PreprocessingOverlayWords.vertexRows line 107
  16. theorem OAI.MinUncutGames.Foundations.PCP.PreprocessingOverlayWords.vertexRows_length line 111
  17. theorem OAI.MinUncutGames.Foundations.PCP.PreprocessingOverlayWords.flatRows_overlay line 115
  18. theorem OAI.MinUncutGames.Foundations.PCP.PreprocessingOverlayWords.vertexRows_words line 125
  19. theorem OAI.MinUncutGames.Foundations.PCP.PreprocessingOverlayWords.tableWords_overlay line 148
  20. theorem OAI.MinUncutGames.Foundations.PCP.PreprocessingOverlayWords.tableBits_overlay line 153
  21. theorem OAI.MinUncutGames.Foundations.PCP.PreprocessingOverlayWords.rotationWords_vertices line 159