OAI/Computability/PerfectCompleteness/Construction/LocalCompletionSerializedOutput.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.PerfectCompleteness.LocalCompletionSerializedOutput.projection_eq_of_images line 25
2. def OAI.PerfectCompleteness.LocalCompletionSerializedOutput.entry line 32
3. theorem OAI.PerfectCompleteness.LocalCompletionSerializedOutput.entry_left line 39
4. theorem OAI.PerfectCompleteness.LocalCompletionSerializedOutput.entry_right line 44
5. theorem OAI.PerfectCompleteness.LocalCompletionSerializedOutput.entry_projection line 49
6. def OAI.PerfectCompleteness.LocalCompletionSerializedOutput.local_machine_output line 61
7. theorem OAI.PerfectCompleteness.LocalCompletionSerializedOutput.local_machine_output_decodes line 68