OAI/Computability/PerfectCompleteness/Reduction/FixedStoppedError.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.PerfectCompleteness.FixedStoppedError.original_calls_le line 16
2. theorem OAI.PerfectCompleteness.FixedStoppedError.original_calls_add_one_le line 25
3. theorem OAI.PerfectCompleteness.FixedStoppedError.hidden_error_lt line 34
4. theorem OAI.PerfectCompleteness.FixedStoppedError.stopped_error_lt line 40
5. theorem OAI.PerfectCompleteness.FixedStoppedError.collision_error_lt line 46