OAI/Computability/PerfectCompleteness/Sampling/CutSamplerLocality.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.PerfectCompleteness.CutSamplerLocality.View line 20
2. def OAI.PerfectCompleteness.CutSamplerLocality.view line 28
3. def OAI.PerfectCompleteness.CutSamplerLocality.subTape line 36
4. def OAI.PerfectCompleteness.CutSamplerLocality.ZeroAtClean line 44
5. theorem OAI.PerfectCompleteness.CutSamplerLocality.evaluate_refl line 52
6. theorem OAI.PerfectCompleteness.CutSamplerLocality.evaluate_step line 58
7. theorem OAI.PerfectCompleteness.CutSamplerLocality.evaluate_eq_of_view_eq line 70
8. theorem OAI.PerfectCompleteness.CutSamplerLocality.evaluate_factors line 136