OAI/Combinatorics/MatchingCount/Machines/OnlineUniform.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.MatchingFPRAS.PhysicalStream.qaverage line 11
2. lemma OAI.MatchingFPRAS.PhysicalStream.qaverage_bits line 13
3. lemma OAI.MatchingFPRAS.PhysicalStream.qaverage_equiv line 15
4. lemma OAI.MatchingFPRAS.PhysicalStream.qaverage_prod line 19
5. lemma OAI.MatchingFPRAS.PhysicalStream.qaverage_congr line 25
6. lemma OAI.MatchingFPRAS.PhysicalStream.qaverage_unit line 28
7. def OAI.MatchingFPRAS.PhysicalStream.splitFunction line 31
8. lemma OAI.MatchingFPRAS.PhysicalStream.qaverage_succ line 37
9. lemma OAI.MatchingFPRAS.PhysicalStream.mean_word_qaverage line 43
10. lemma OAI.MatchingFPRAS.PhysicalStream.mean_traverse_ofFn line 48