OAI/Combinatorics/MatchingCount/Machines/TreeRefreshTables.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.MatchingFPRAS.ExecutableHierarchy.labelIndices line 11
2. def OAI.MatchingFPRAS.ExecutableHierarchy.labelIndicesRealizer line 12
3. lemma OAI.MatchingFPRAS.ExecutableHierarchy.polynomial_labelIndices line 14
4. def OAI.MatchingFPRAS.ExecutableHierarchy.refreshTables line 22
5. def OAI.MatchingFPRAS.ExecutableHierarchy.refreshTablesRealizer line 25
6. lemma OAI.MatchingFPRAS.ExecutableHierarchy.polynomial_refreshTables line 29
7. def OAI.MatchingFPRAS.ExecutableHierarchy.initialFromHierarchy line 40
8. def OAI.MatchingFPRAS.ExecutableHierarchy.initialFromHierarchyRealizer line 41
9. lemma OAI.MatchingFPRAS.ExecutableHierarchy.polynomial_initialFromHierarchy line 42
10. lemma OAI.MatchingFPRAS.ExecutableHierarchy.arbitrary_labelIndices line 52
11. lemma OAI.MatchingFPRAS.ExecutableHierarchy.refreshTables_rep line 64
12. lemma OAI.MatchingFPRAS.ExecutableHierarchy.initialFromHierarchy_valid line 76
13. lemma OAI.MatchingFPRAS.ExecutableHierarchy.initialFromHierarchy_valid_fintype line 90
14. theorem OAI.MatchingFPRAS.ExecutableHierarchy.initialFromHierarchy_post line 108