OAI/Combinatorics/MatchingCount/Machines/OnlineTraverse.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.MatchingFPRAS.OnlineTree.traverseM line 12
2. def OAI.MatchingFPRAS.OnlineTree.collectStep line 15
3. def OAI.MatchingFPRAS.OnlineTree.collectStepRealizer line 17
4. lemma OAI.MatchingFPRAS.OnlineTree.mean_fold_collect line 23
5. def OAI.MatchingFPRAS.OnlineTree.traverse line 32
6. lemma OAI.MatchingFPRAS.OnlineTree.all_traverse line 40
7. lemma OAI.MatchingFPRAS.OnlineTree.all_traverse_length line 54