OAI/Computability/DegreeRigidity/SetModels/UnionIteration.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.TuringRigidity.TransitiveNameModel.FunctionGraph line 10
  2. theorem OAI.TuringRigidity.TransitiveNameModel.FunctionGraph.value_mem line 15
  3. theorem OAI.TuringRigidity.TransitiveNameModel.FunctionGraph.functional line 21
  4. def OAI.TuringRigidity.TransitiveNameModel.UnionIteration line 27
  5. theorem OAI.TuringRigidity.TransitiveNameModel.UnionIteration.correct line 32
  6. def OAI.TuringRigidity.TransitiveNameModel.unionGraph line 45
  7. theorem OAI.TuringRigidity.TransitiveNameModel.mem_unionGraph line 48
  8. theorem OAI.TuringRigidity.TransitiveNameModel.unionGraph_pair line 54
  9. theorem OAI.TuringRigidity.TransitiveNameModel.unionGraph_mem line 59
  10. theorem OAI.TuringRigidity.TransitiveNameModel.unionGraph_valid line 89
  11. def OAI.TuringRigidity.TransitiveNameModel.IterationFormula.unionOf line 115
  12. theorem OAI.TuringRigidity.TransitiveNameModel.IterationFormula.eval_unionOf line 119
  13. def OAI.TuringRigidity.TransitiveNameModel.IterationFormula.iteration line 130
  14. theorem OAI.TuringRigidity.TransitiveNameModel.IterationFormula.eval_iteration line 136