OAI/Computability/VertexCover/Information/GamesAdapter.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.UniqueGames.Foundations.Information.gameLaw_isProbability line 47
2. def OAI.UniqueGames.Foundations.Information.toGameLaw line 50
3. def OAI.UniqueGames.Foundations.Information.gameLawEquiv line 55
4. theorem OAI.UniqueGames.Foundations.Information.totalVariation_gameLaw line 61
5. def OAI.UniqueGames.Foundations.Information.gameConditionalKernel line 64
6. theorem OAI.UniqueGames.Foundations.Information.gameConditionalKernel_recombine line 70
7. def OAI.UniqueGames.Foundations.Information.gameConditionalProduct line 76
8. theorem OAI.UniqueGames.Foundations.Information.gameConditionalProduct_weight line 83
9. theorem OAI.UniqueGames.Foundations.Information.gameCondition_weight line 89
10. theorem OAI.UniqueGames.Foundations.Information.gameCondition_relativeEntropy_le line 96