OAI/Computability/VertexCover/Repetition/Variation.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.UniqueGames.Foundations.Repetition.totalVariation_triangle line 46
2. def OAI.UniqueGames.Foundations.Repetition.conditionWeights line 57
3. theorem OAI.UniqueGames.Foundations.Repetition.conditionWeights_isProbability line 60
4. theorem OAI.UniqueGames.Foundations.Repetition.totalVariation_condition_le line 77
5. theorem OAI.UniqueGames.Foundations.Repetition.totalVariation_condition_half_le line 100
6. theorem OAI.UniqueGames.Foundations.Repetition.totalVariation_append_kernel line 106
7. def OAI.UniqueGames.Foundations.Repetition.kernelPushforward line 119
8. theorem OAI.UniqueGames.Foundations.Repetition.totalVariation_kernelPushforward_le line 122