OAI/Computability/VertexCover/Information/Conditionals.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.UniqueGames.Foundations.Information.conditionalKernel line 45
2. theorem OAI.UniqueGames.Foundations.Information.conditionalKernel_isProbability line 51
3. theorem OAI.UniqueGames.Foundations.Information.marginal_mul_conditionalKernel line 67
4. theorem OAI.UniqueGames.Foundations.Information.law_of_total_probability line 84
5. theorem OAI.UniqueGames.Foundations.Information.kernelProduct_isProbability line 91
6. theorem OAI.UniqueGames.Foundations.Information.alternativeInput_conditionalProduct_isProbability line 101