OAI/Computability/PerfectCompleteness/Foundations/CutTerminalZero.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.PerfectCompleteness.CutTerminalZero.terminalFactorEquiv_refl line 20
2. theorem OAI.PerfectCompleteness.CutTerminalZero.terminalFactorEquiv_step line 26
3. theorem OAI.PerfectCompleteness.CutTerminalZero.splitTape_terminal_step line 34
4. theorem OAI.PerfectCompleteness.CutTerminalZero.zeroAtClean_iff line 44
5. theorem OAI.PerfectCompleteness.CutTerminalZero.evaluate_factors_of_split_zero line 86