OAI/Computability/VertexCover/Repetition/SelectedProfiles.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.UniqueGames.Foundations.Repetition.finiteDistribution_nonempty line 44
2. def OAI.UniqueGames.Foundations.Repetition.selectedProfileFallback line 54
3. def OAI.UniqueGames.Foundations.Repetition.selectedLeftProfile line 62
4. def OAI.UniqueGames.Foundations.Repetition.selectedRightProfile line 75
5. def OAI.UniqueGames.Foundations.Repetition.selectedLeftProfileError line 88
6. def OAI.UniqueGames.Foundations.Repetition.selectedRightProfileError line 95
7. theorem OAI.UniqueGames.Foundations.Repetition.selectedLeftProfileError_le line 102
8. theorem OAI.UniqueGames.Foundations.Repetition.selectedRightProfileError_le line 116
9. def OAI.UniqueGames.Foundations.Repetition.selectedSamplingTarget line 130
10. theorem OAI.UniqueGames.Foundations.Repetition.selectedSamplingTarget_left_error line 138
11. theorem OAI.UniqueGames.Foundations.Repetition.selectedSamplingTarget_right_error line 151