OAI/Combinatorics/MatchingCount/Graphs/ExperimentSupport.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.MatchingFPRAS.PhysicalStream.Experiment.All line 8
2. lemma OAI.MatchingFPRAS.PhysicalStream.Experiment.All.mono line 12
3. lemma OAI.MatchingFPRAS.PhysicalStream.Experiment.all_run line 17
4. lemma OAI.MatchingFPRAS.PhysicalStream.Experiment.mean_nonneg line 23
5. lemma OAI.MatchingFPRAS.PhysicalStream.Experiment.all_true line 28
6. lemma OAI.MatchingFPRAS.PhysicalStream.Experiment.all_indicator line 33
7. lemma OAI.MatchingFPRAS.PhysicalStream.Experiment.all_of_mean_eq line 48
8. lemma OAI.MatchingFPRAS.PhysicalStream.Experiment.cost_bind_le_of_all line 53
9. lemma OAI.MatchingFPRAS.PhysicalStream.Experiment.all_bind line 63
10. lemma OAI.MatchingFPRAS.PhysicalStream.Experiment.all_map line 69
11. def OAI.MatchingFPRAS.PhysicalStream.Experiment.worst line 74
12. lemma OAI.MatchingFPRAS.PhysicalStream.Experiment.all_worst line 78
13. lemma OAI.MatchingFPRAS.PhysicalStream.Experiment.worst_le line 84