OAI/Computability/PerfectCompleteness/Machines/LowerCutOwnInput.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.PerfectCompleteness.LowerCutOwnInput.ofArrays line 22
2. theorem OAI.PerfectCompleteness.LowerCutOwnInput.ofArrays_update line 28
3. theorem OAI.PerfectCompleteness.LowerCutOwnInput.query_update line 52
4. theorem OAI.PerfectCompleteness.LowerCutOwnInput.response_update line 64
5. theorem OAI.PerfectCompleteness.LowerCutOwnInput.quotientFullJoint_update line 77
6. theorem OAI.PerfectCompleteness.LowerCutOwnInput.canonicalQuery_update line 99
7. theorem OAI.PerfectCompleteness.LowerCutOwnInput.second_eq_update line 111
8. theorem OAI.PerfectCompleteness.LowerCutOwnInput.ofArrays_second line 122
9. theorem OAI.PerfectCompleteness.LowerCutOwnInput.query_second line 136
10. theorem OAI.PerfectCompleteness.LowerCutOwnInput.canonicalQuery_second line 154