OAI/Combinatorics/MatchingCount/Algorithm/TreeNumericSummaries.lean

GitHub source file

17 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.MatchingFPRAS.NumericMarking.Summaries line 10
2. def OAI.MatchingFPRAS.NumericMarking.rawProbe line 12
3. def OAI.MatchingFPRAS.NumericMarking.rawProbeRealizer line 14
4. lemma OAI.MatchingFPRAS.NumericMarking.polynomial_rawProbe line 16
5. def OAI.MatchingFPRAS.NumericMarking.summaries line 22
6. def OAI.MatchingFPRAS.NumericMarking.summariesRealizer line 25
7. lemma OAI.MatchingFPRAS.NumericMarking.polynomial_summaries line 30
8. lemma OAI.MatchingFPRAS.NumericMarking.summaries_rep line 39
9. abbrev OAI.MatchingFPRAS.NumericMarking.Bindings line 72
10. def OAI.MatchingFPRAS.NumericMarking.logicalProbes line 73
11. def OAI.MatchingFPRAS.NumericMarking.logicalProbesRealizer line 75
12. lemma OAI.MatchingFPRAS.NumericMarking.polynomial_logicalProbes line 77
13. lemma OAI.MatchingFPRAS.NumericMarking.logicalProbes_rep line 83
14. abbrev OAI.MatchingFPRAS.NumericMarking.UpdateConfig line 97
15. def OAI.MatchingFPRAS.NumericMarking.finishUpdate line 98
16. def OAI.MatchingFPRAS.NumericMarking.finishUpdateRealizer line 101
17. lemma OAI.MatchingFPRAS.NumericMarking.polynomial_finishUpdate line 105