OAI/Computability/DegreeRigidity/Effective/TableIndices.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.TuringRigidity.TableIndices.run line 8
  2. def OAI.TuringRigidity.TableIndices.Represents line 11
  3. def OAI.TuringRigidity.TableIndices.Valid line 15
  4. theorem OAI.TuringRigidity.TableIndices.represents_reduces line 19
  5. theorem OAI.TuringRigidity.TableIndices.reduces_represents line 24
  6. theorem OAI.TuringRigidity.TableIndices.reduces_iff_represents line 45
  7. theorem OAI.TuringRigidity.TableIndices.valid_iff_represents line 49
  8. theorem OAI.TuringRigidity.TableIndices.represents_unique line 67
  9. def OAI.TuringRigidity.TableIndices.output line 75
  10. theorem OAI.TuringRigidity.TableIndices.output_represents line 78
  11. theorem OAI.TuringRigidity.TableIndices.index_surjective line 82