OAI/Computability/VertexCover/Repetition/SelectedCompletionGame.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.UniqueGames.Foundations.Repetition.partialRevealWeight_forget line 47
  2. theorem OAI.UniqueGames.Foundations.Repetition.partialReveal_event_forget line 59
  3. theorem OAI.UniqueGames.Foundations.Repetition.selectedOutsideLikelihood_event_sum line 76
  4. theorem OAI.UniqueGames.Foundations.Repetition.selected_partial_event_total line 138
  5. def OAI.UniqueGames.Foundations.Repetition.selectedFullLeftCompletion line 159
  6. def OAI.UniqueGames.Foundations.Repetition.selectedFullRightCompletion line 167
  7. theorem OAI.UniqueGames.Foundations.Repetition.selectedFullLeftCompletion_support line 176
  8. theorem OAI.UniqueGames.Foundations.Repetition.selectedFullRightCompletion_support line 198
  9. theorem OAI.UniqueGames.Foundations.Repetition.selected_full_completion_probability line 219
  10. theorem OAI.UniqueGames.Foundations.Repetition.selected_completion_event_row line 245
  11. def OAI.UniqueGames.Foundations.Repetition.selectedFullCompletionMixture line 289
  12. theorem OAI.UniqueGames.Foundations.Repetition.selectedFullCompletionMixture_probability line 298
  13. theorem OAI.UniqueGames.Foundations.Repetition.selectedFullCompletionMixture_eq_conditionedQuestions line 320