OAI/Combinatorics/MatchingCount/Arithmetic/PostAddition.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.MatchingFPRAS.PostAddition.Alphabet line 12
2. def OAI.MatchingFPRAS.PostAddition.machine line 13
3. def OAI.MatchingFPRAS.PostAddition.overhead line 16
4. def OAI.MatchingFPRAS.PostAddition.input line 19
5. def OAI.MatchingFPRAS.PostAddition.output line 21
6. def OAI.MatchingFPRAS.PostAddition.steps line 24
7. theorem OAI.MatchingFPRAS.PostAddition.computes line 27
8. lemma OAI.MatchingFPRAS.PostAddition.result_value line 68
9. lemma OAI.MatchingFPRAS.PostAddition.time_quadratic line 71