OAI/Combinatorics/MatchingCount/Complexity/TreePolynomialCollections.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.MatchingFPRAS.TreeTyped.polynomial_listCase line 10
2. lemma OAI.MatchingFPRAS.TreeTyped.polynomial_head line 28
3. lemma OAI.MatchingFPRAS.TreeTyped.polynomial_tail line 31
4. lemma OAI.MatchingFPRAS.TreeTyped.polynomial_isEmpty line 32
5. lemma OAI.MatchingFPRAS.TreeTyped.weight_sublist line 33
6. lemma OAI.MatchingFPRAS.TreeTyped.polynomial_append line 38
7. lemma OAI.MatchingFPRAS.TreeTyped.polynomial_mapStep line 50
8. lemma OAI.MatchingFPRAS.TreeTyped.polynomial_mapWith line 57
9. lemma OAI.MatchingFPRAS.TreeTyped.polynomial_map line 85
10. lemma OAI.MatchingFPRAS.TreeTyped.filter_fold line 115
11. lemma OAI.MatchingFPRAS.TreeTyped.polynomial_filter line 120
12. lemma OAI.MatchingFPRAS.TreeTyped.weight_bool_le line 136
13. lemma OAI.MatchingFPRAS.TreeTyped.polynomial_any line 137
14. lemma OAI.MatchingFPRAS.TreeTyped.polynomial_membership line 144