OAI/Combinatorics/MatchingCount/Machines/TreeQuad.lean

GitHub source file

15 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.MatchingFPRAS.TreeTyped.listProduct line 9
2. lemma OAI.MatchingFPRAS.TreeTyped.polynomial_listProduct line 12
3. lemma OAI.MatchingFPRAS.TreeTyped.mem_listProduct line 18
4. abbrev OAI.MatchingFPRAS.TreeTyped.Quad line 21
5. def OAI.MatchingFPRAS.TreeTyped.quadList line 22
6. def OAI.MatchingFPRAS.TreeTyped.quadFn line 23
7. def OAI.MatchingFPRAS.TreeTyped.quadOfFn line 24
8. lemma OAI.MatchingFPRAS.TreeTyped.quadFn_ofFn line 26
9. lemma OAI.MatchingFPRAS.TreeTyped.quadList_ofFn line 30
10. def OAI.MatchingFPRAS.TreeTyped.quadListRealizer line 32
11. lemma OAI.MatchingFPRAS.TreeTyped.polynomial_quadList line 35
12. def OAI.MatchingFPRAS.TreeTyped.quads line 40
13. def OAI.MatchingFPRAS.TreeTyped.quadsRealizer line 41
14. lemma OAI.MatchingFPRAS.TreeTyped.polynomial_quads line 44
15. lemma OAI.MatchingFPRAS.TreeTyped.mem_quads line 51