OAI/Combinatorics/MatchingCount/Graphs/TreeProfile.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.MatchingFPRAS.ExecutableSource.ProfileData line 10
2. def OAI.MatchingFPRAS.ExecutableSource.profile line 11
3. def OAI.MatchingFPRAS.ExecutableSource.profileRealizer line 17
4. lemma OAI.MatchingFPRAS.ExecutableSource.polynomial_profile line 28
5. lemma OAI.MatchingFPRAS.ExecutableSource.profile_repr line 38
6. def OAI.MatchingFPRAS.ExecutableSource.height line 52
7. def OAI.MatchingFPRAS.ExecutableSource.heightRealizer line 54
8. lemma OAI.MatchingFPRAS.ExecutableSource.polynomial_height line 57
9. lemma OAI.MatchingFPRAS.ExecutableSource.height_rep line 65
10. def OAI.MatchingFPRAS.ExecutableSource.maxHeight line 79
11. def OAI.MatchingFPRAS.ExecutableSource.maxHeightRealizer line 81
12. lemma OAI.MatchingFPRAS.ExecutableSource.polynomial_maxHeight line 84