OAI/Combinatorics/MatchingCount/Machines/TreeInitial.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.MatchingFPRAS.ExecutableSource.setupHierarchy line 11
2. def OAI.MatchingFPRAS.ExecutableSource.setupHierarchyRealizer line 13
3. lemma OAI.MatchingFPRAS.ExecutableSource.polynomial_setupHierarchy line 17
4. def OAI.MatchingFPRAS.ExecutableSource.sourceTables line 26
5. def OAI.MatchingFPRAS.ExecutableSource.sourceTablesRealizer line 28
6. lemma OAI.MatchingFPRAS.ExecutableSource.polynomial_sourceTables line 29
7. def OAI.MatchingFPRAS.ExecutableSource.sourceInitial line 32
8. def OAI.MatchingFPRAS.ExecutableSource.sourceInitialRealizer line 34
9. lemma OAI.MatchingFPRAS.ExecutableSource.polynomial_sourceInitial line 35
10. lemma OAI.MatchingFPRAS.ExecutableSource.sourceInitial_valid line 40
11. lemma OAI.MatchingFPRAS.ExecutableSource.sourceInitial_even line 63
12. theorem OAI.MatchingFPRAS.ExecutableSource.sourceInitial_post line 73