OAI/Probability/EntangledGames/StrategyBridge.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.ThresholdParallelRepetition.Strategy.coeff line 14
2. lemma OAI.ThresholdParallelRepetition.Strategy.coeff_unit line 15
3. lemma OAI.ThresholdParallelRepetition.Strategy.born_eq_prob line 17
4. def OAI.ThresholdParallelRepetition.Strategy.repetitionModel line 22
5. lemma OAI.ThresholdParallelRepetition.sum_profiles line 33
6. lemma OAI.ThresholdParallelRepetition.Strategy.rate_eq_wins line 47
7. lemma OAI.ThresholdParallelRepetition.Strategy.threshold_eq_model line 59