OAI/Computability/PerfectCompleteness/Construction/LocalCompletionOutput.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.PerfectCompleteness.LocalCompletionOutput.construct line 27
2. def OAI.PerfectCompleteness.LocalCompletionOutput.local_machine_output line 31
3. theorem OAI.PerfectCompleteness.LocalCompletionOutput.total_active_seeds_le line 53
4. theorem OAI.PerfectCompleteness.LocalCompletionOutput.edge_count line 63
5. theorem OAI.PerfectCompleteness.LocalCompletionOutput.bit_count line 73
6. theorem OAI.PerfectCompleteness.LocalCompletionOutput.value_le line 83
7. theorem OAI.PerfectCompleteness.LocalCompletionOutput.value_le_delta line 92
8. theorem OAI.PerfectCompleteness.LocalCompletionOutput.perfectlyComplete line 107