OAI/Combinatorics/MatchingCount/Complexity/TreeFractionCosts.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.MatchingFPRAS.TreeFraction.height line 10
2. lemma OAI.MatchingFPRAS.TreeFraction.height_le_weight line 11
3. lemma OAI.MatchingFPRAS.TreeFraction.weight_le_height line 17
4. lemma OAI.MatchingFPRAS.TreeFraction.height_add line 25
5. lemma OAI.MatchingFPRAS.TreeFraction.fractionFold_height line 41
6. lemma OAI.MatchingFPRAS.TreeFraction.polynomial_fractionFold line 52
7. lemma OAI.MatchingFPRAS.TreeFraction.polynomial_sum line 67