OAI/Combinatorics/MatchingCount/Complexity/TreeNumericCosts.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.MatchingFPRAS.TreeTyped.work_pair line 11
2. lemma OAI.MatchingFPRAS.TreeTyped.work_choose line 25
3. lemma OAI.MatchingFPRAS.TreeTyped.factorial_numeric_work line 42
4. lemma OAI.MatchingFPRAS.TreeTyped.pair_nat_weight_numeric line 67
5. lemma OAI.MatchingFPRAS.TreeTyped.natChoose_numeric_work line 73
6. lemma OAI.MatchingFPRAS.TreeTyped.polynomial_boundedFactorial line 97
7. lemma OAI.MatchingFPRAS.TreeTyped.polynomial_boundedChoose line 101