OAI/Probability/EntangledGames/ConditionedStep.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ThresholdParallelRepetition.sum_fin_get_toList line 13
2. lemma OAI.ThresholdParallelRepetition.RepeatedModel.fresh_sum_bound line 26
3. lemma OAI.ThresholdParallelRepetition.RepeatedModel.good_event_step line 50
4. lemma OAI.ThresholdParallelRepetition.RepeatedModel.mean_eq_first_test line 72
5. lemma OAI.ThresholdParallelRepetition.RepeatedModel.unconditional_rate_le_value line 83
6. lemma OAI.ThresholdParallelRepetition.testing_parameters_good line 105