OAI/Computability/VertexCover/Repetition/SelectedCommonMarginal.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.UniqueGames.Foundations.Repetition.pushforward_snd_weight_eq_secondMarginal line 48
2. def OAI.UniqueGames.Foundations.Repetition.revealDataSplitEquiv line 58
3. theorem OAI.UniqueGames.Foundations.Repetition.partialRevealMarginal_secondMarginal line 75
4. def OAI.UniqueGames.Foundations.Repetition.selectedObservationDataEquiv line 95
5. theorem OAI.UniqueGames.Foundations.Repetition.selectedFullReveal_secondMarginal line 104
6. theorem OAI.UniqueGames.Foundations.Repetition.selectedRawMarginal_secondMarginal line 118
7. theorem OAI.UniqueGames.Foundations.Repetition.selectedCommonLaw_secondMarginal line 140
8. theorem OAI.UniqueGames.Foundations.Repetition.selectedCommonLaw_questions_pushforward line 151