OAI/Combinatorics/MatchingCount/Graphs/TreeHierarchyRoot.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.MatchingFPRAS.ExecutableHierarchy.RootInput line 11
2. def OAI.MatchingFPRAS.ExecutableHierarchy.related line 13
3. def OAI.MatchingFPRAS.ExecutableHierarchy.relatedRealizer line 15
4. lemma OAI.MatchingFPRAS.ExecutableHierarchy.polynomial_related line 20
5. def OAI.MatchingFPRAS.ExecutableHierarchy.component line 35
6. def OAI.MatchingFPRAS.ExecutableHierarchy.componentRealizer line 36
7. lemma OAI.MatchingFPRAS.ExecutableHierarchy.polynomial_component line 38
8. def OAI.MatchingFPRAS.ExecutableHierarchy.root line 48
9. def OAI.MatchingFPRAS.ExecutableHierarchy.rootRealizer line 49
10. lemma OAI.MatchingFPRAS.ExecutableHierarchy.polynomial_root line 51
11. lemma OAI.MatchingFPRAS.ExecutableHierarchy.related_matrixRep line 56
12. lemma OAI.MatchingFPRAS.ExecutableHierarchy.component_mem_matrixRep line 64
13. lemma OAI.MatchingFPRAS.ExecutableHierarchy.root_matrixRep line 71