OAI/Combinatorics/MatchingCount/Algorithm/OnlineAmplification.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.MatchingFPRAS.OnlineAmplification.TrialInput line 10
2. def OAI.MatchingFPRAS.OnlineAmplification.trials line 12
3. def OAI.MatchingFPRAS.OnlineAmplification.trialsRealizer line 14
4. def OAI.MatchingFPRAS.OnlineAmplification.run line 17
5. def OAI.MatchingFPRAS.OnlineAmplification.runRealizer line 18
6. def OAI.MatchingFPRAS.OnlineAmplification.initial line 23
7. lemma OAI.MatchingFPRAS.OnlineAmplification.trials_mean line 25
8. lemma OAI.MatchingFPRAS.OnlineAmplification.run_mean line 31