OAI/Computability/DegreeRigidity/SetModels/SetModelIteration.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.TuringRigidity.SetModelIteration.finiteGraph line 10
2. theorem OAI.TuringRigidity.SetModelIteration.mem_finiteGraph line 13
3. theorem OAI.TuringRigidity.SetModelIteration.pair_mem_finiteGraph line 18
4. theorem OAI.TuringRigidity.SetModelIteration.finiteGraph_zero line 29
5. theorem OAI.TuringRigidity.SetModelIteration.finiteGraph_succ line 34
6. theorem OAI.TuringRigidity.SetModelIteration.finiteGraph_mem line 48
7. def OAI.TuringRigidity.SetModelIteration.traceFormula line 68
8. def OAI.TuringRigidity.SetModelIteration.Trace line 75
9. theorem OAI.TuringRigidity.SetModelIteration.eval_traceFormula line 81
10. theorem OAI.TuringRigidity.SetModelIteration.iterate_mem line 97
11. theorem OAI.TuringRigidity.SetModelIteration.trace_correct line 103
12. theorem OAI.TuringRigidity.SetModelIteration.finiteGraph_trace line 117