OAI/Combinatorics/IndependentSets/Repetition/SelectedCompletionGame.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.IndependentSetsGames.Foundations.Repetition.partialRevealWeight_forget line 12
  2. theorem OAI.IndependentSetsGames.Foundations.Repetition.partialReveal_event_forget line 24
  3. theorem OAI.IndependentSetsGames.Foundations.Repetition.selectedOutsideLikelihood_event_sum line 41
  4. theorem OAI.IndependentSetsGames.Foundations.Repetition.selected_partial_event_total line 104
  5. def OAI.IndependentSetsGames.Foundations.Repetition.selectedFullLeftCompletion line 125
  6. def OAI.IndependentSetsGames.Foundations.Repetition.selectedFullRightCompletion line 133
  7. theorem OAI.IndependentSetsGames.Foundations.Repetition.selectedFullLeftCompletion_support line 142
  8. theorem OAI.IndependentSetsGames.Foundations.Repetition.selectedFullRightCompletion_support line 164
  9. theorem OAI.IndependentSetsGames.Foundations.Repetition.selected_full_completion_probability line 185
  10. theorem OAI.IndependentSetsGames.Foundations.Repetition.selected_completion_event_row line 211
  11. def OAI.IndependentSetsGames.Foundations.Repetition.selectedFullCompletionMixture line 255
  12. theorem OAI.IndependentSetsGames.Foundations.Repetition.selectedFullCompletionMixture_probability line 264
  13. theorem OAI.IndependentSetsGames.Foundations.Repetition.selectedFullCompletionMixture_eq_conditionedQuestions line 286