OAI/Combinatorics/MatchingCount/Sampling/TreeDPCount.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.MatchingFPRAS.ExecutableDP.initial line 9
2. def OAI.MatchingFPRAS.ExecutableDP.initialRealizer line 12
3. lemma OAI.MatchingFPRAS.ExecutableDP.initial_eq line 16
4. def OAI.MatchingFPRAS.ExecutableDP.finish line 19
5. def OAI.MatchingFPRAS.ExecutableDP.finishRealizer line 21
6. lemma OAI.MatchingFPRAS.ExecutableDP.map_range_ofFn line 25
7. lemma OAI.MatchingFPRAS.ExecutableDP.finish_eq line 31
8. abbrev OAI.MatchingFPRAS.ExecutableDP.CountInput line 36
9. def OAI.MatchingFPRAS.ExecutableDP.count line 38
10. def OAI.MatchingFPRAS.ExecutableDP.countRealizer line 43
11. lemma OAI.MatchingFPRAS.ExecutableDP.count_eq line 55
12. theorem OAI.MatchingFPRAS.ExecutableDP.count_coloredPairings line 68