OAI/Combinatorics/MatchingCount/Graphs/TreeHierarchyReindex.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.MatchingFPRAS.TreeTyped.Numbered.orderedIso line 9
2. lemma OAI.MatchingFPRAS.TreeTyped.Numbered.index_orderIso line 12
3. abbrev OAI.MatchingFPRAS.NumberedHierarchy.reindex line 29
4. lemma OAI.MatchingFPRAS.NumberedHierarchy.component_reindex line 30
5. lemma OAI.MatchingFPRAS.NumberedHierarchy.root_reindex line 33
6. def OAI.MatchingFPRAS.NumberedHierarchy.componentReindex line 44
7. def OAI.MatchingFPRAS.NumberedHierarchy.labelReindex line 51
8. def OAI.MatchingFPRAS.NumberedHierarchy.labelOrderReindex line 58
9. lemma OAI.MatchingFPRAS.NumberedHierarchy.labelReindex_index line 66
10. lemma OAI.MatchingFPRAS.NumberedHierarchy.reindex_symm line 78
11. lemma OAI.MatchingFPRAS.NumberedHierarchy.reindex_tri line 81
12. lemma OAI.MatchingFPRAS.NumberedHierarchy.labelAt_reindex line 84
13. lemma OAI.MatchingFPRAS.NumberedHierarchy.edgeLabel_reindex line 90