OAI/Combinatorics/MatchingCount/Algorithm/TreeStatistics.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.MatchingFPRAS.NumericMarking.selectedMarks line 13
2. lemma OAI.MatchingFPRAS.NumericMarking.selectedMarks_on line 15
3. lemma OAI.MatchingFPRAS.NumericMarking.selectedMarks_eq line 17
4. lemma OAI.MatchingFPRAS.NumericMarking.reweight_nonneg line 31
5. lemma OAI.MatchingFPRAS.NumericMarking.scalarA_source line 48
6. lemma OAI.MatchingFPRAS.NumericMarking.scalarD_source line 53
7. lemma OAI.MatchingFPRAS.NumericMarking.scalarProbe_source line 58
8. def OAI.MatchingFPRAS.NumericMarking.sourceSamples line 71
9. def OAI.MatchingFPRAS.NumericMarking.sourceKeys line 73
10. lemma OAI.MatchingFPRAS.NumericMarking.mem_sourceKeys line 75
11. lemma OAI.MatchingFPRAS.NumericMarking.summaries_source line 78