OAI/Computability/VertexCover/Repetition/SelectedJoint.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.UniqueGames.Foundations.Repetition.selectedJointWeight line 48
2. theorem OAI.UniqueGames.Foundations.Repetition.selectedJointWeight_nonnegative line 59
3. theorem OAI.UniqueGames.Foundations.Repetition.selectedJointWeight_firstMarginal line 71
4. theorem OAI.UniqueGames.Foundations.Repetition.selectedJointWeight_isProbability line 82
5. def OAI.UniqueGames.Foundations.Repetition.selectedJointLaw line 93
6. theorem OAI.UniqueGames.Foundations.Repetition.selectedJointWeight_factorization line 99