OAI/Combinatorics/MatchingCount/Complexity/TreePolynomialGrid.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.MatchingFPRAS.TreeTyped.weight_fst line 11
2. lemma OAI.MatchingFPRAS.TreeTyped.weight_snd line 12
3. def OAI.MatchingFPRAS.TreeTyped.grid line 15
4. lemma OAI.MatchingFPRAS.TreeTyped.polynomial_grid line 22
5. def OAI.MatchingFPRAS.TreeTyped.clip line 41
6. def OAI.MatchingFPRAS.TreeTyped.clipRealizer line 42
7. lemma OAI.MatchingFPRAS.TreeTyped.polynomial_clip line 46
8. lemma OAI.MatchingFPRAS.TreeTyped.clip_size line 53
9. lemma OAI.MatchingFPRAS.TreeTyped.clip_eq line 59