OAI/Computability/VertexCover/Games/Reindexing.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.UniqueGames.Foundations.Games.FiniteDistribution.reindexEquiv line 45
  2. theorem OAI.UniqueGames.Foundations.Games.FiniteDistribution.pushforward_equiv line 51
  3. theorem OAI.UniqueGames.Foundations.Games.FiniteDistribution.table_const_reindex line 69
  4. theorem OAI.UniqueGames.Foundations.Games.FiniteDistribution.iid_reindex line 82
  5. theorem OAI.UniqueGames.Foundations.Games.FiniteDistribution.probability_reindex_of_weight line 93
  6. def OAI.UniqueGames.Foundations.Games.Game.questionReindexEquiv line 112
  7. def OAI.UniqueGames.Foundations.Games.Game.reindexStrategy line 117
  8. theorem OAI.UniqueGames.Foundations.Games.Game.repetition_question_weight_reindex line 123
  9. theorem OAI.UniqueGames.Foundations.Games.Game.repetition_questions_reindex line 134
  10. theorem OAI.UniqueGames.Foundations.Games.Game.coordinateWin_reindex line 147
  11. theorem OAI.UniqueGames.Foundations.Games.Game.selectedWins_reindex line 165
  12. theorem OAI.UniqueGames.Foundations.Games.Game.selectedSuccess_reindex line 185
  13. theorem OAI.UniqueGames.Foundations.Games.Game.repetition_success_reindex line 200