OAI/Computability/PerfectCompleteness/Construction/SourceQuestionRawSwap.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.PerfectCompleteness.SourceQuestionRawSwap.expectation_kernelJoint line 16
  2. theorem OAI.PerfectCompleteness.SourceQuestionRawSwap.restrict_join line 25
  3. theorem OAI.PerfectCompleteness.SourceQuestionRawSwap.questions_expectation line 33
  4. def OAI.PerfectCompleteness.SourceQuestionRawSwap.insideQuestions line 58
  5. def OAI.PerfectCompleteness.SourceQuestionRawSwap.positions line 63
  6. def OAI.PerfectCompleteness.SourceQuestionRawSwap.raw line 68
  7. theorem OAI.PerfectCompleteness.SourceQuestionRawSwap.raw_apply line 73
  8. theorem OAI.PerfectCompleteness.SourceQuestionRawSwap.sources_insideQuestions_positions line 78
  9. def OAI.PerfectCompleteness.SourceQuestionRawSwap.kernelLaw line 89
  10. theorem OAI.PerfectCompleteness.SourceQuestionRawSwap.originalLaw_expectation line 98
  11. theorem OAI.PerfectCompleteness.SourceQuestionRawSwap.fullQuestions_expectation line 127