OAI/Combinatorics/MatchingCount/Arithmetic/PostComparison.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.MatchingFPRAS.PostComparison.Alphabet line 12
2. lemma OAI.MatchingFPRAS.PostComparison.support line 13
3. def OAI.MatchingFPRAS.PostComparison.machine line 15
4. def OAI.MatchingFPRAS.PostComparison.overhead line 18
5. def OAI.MatchingFPRAS.PostComparison.input line 21
6. def OAI.MatchingFPRAS.PostComparison.output line 23
7. def OAI.MatchingFPRAS.PostComparison.steps line 26
8. theorem OAI.MatchingFPRAS.PostComparison.computes line 29
9. lemma OAI.MatchingFPRAS.PostComparison.time_quadratic line 70
10. lemma OAI.MatchingFPRAS.PostComparison.computes_numerals line 75