OAI/Computability/PerfectCompleteness/Construction/SourceQuestionReconstruction.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

  1. abbrev OAI.PerfectCompleteness.SourceQuestionReconstruction.Visible line 16
  2. def OAI.PerfectCompleteness.SourceQuestionReconstruction.reveal line 18
  3. def OAI.PerfectCompleteness.SourceQuestionReconstruction.reconstruct line 21
  4. theorem OAI.PerfectCompleteness.SourceQuestionReconstruction.reconstruct_eq line 27
  5. abbrev OAI.PerfectCompleteness.SourceQuestionReconstruction.SourceTuple line 40
  6. def OAI.PerfectCompleteness.SourceQuestionReconstruction.leftTuple line 42
  7. def OAI.PerfectCompleteness.SourceQuestionReconstruction.rightTuple line 45
  8. def OAI.PerfectCompleteness.SourceQuestionReconstruction.reconstructLeft line 48
  9. def OAI.PerfectCompleteness.SourceQuestionReconstruction.reconstructRight line 55
  10. theorem OAI.PerfectCompleteness.SourceQuestionReconstruction.reconstructLeft_eq line 62
  11. theorem OAI.PerfectCompleteness.SourceQuestionReconstruction.reconstructRight_eq line 68
  12. theorem OAI.PerfectCompleteness.SourceQuestionReconstruction.reconstructRight_slots line 84