OAI/Computability/PerfectCompleteness/Repetition/SourceAmplification.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.PerfectCompleteness.SourceAmplification.logTwo_le_four line 13
  2. theorem OAI.PerfectCompleteness.SourceAmplification.game_repetition_rate_le_sixteen line 22
  3. def OAI.PerfectCompleteness.SourceAmplification.ClauseGap line 40
  4. theorem OAI.PerfectCompleteness.SourceAmplification.source_value_le line 44
  5. theorem OAI.PerfectCompleteness.SourceAmplification.source_repetition_rate line 58
  6. theorem OAI.PerfectCompleteness.SourceAmplification.exists_repetition_length line 72
  7. def OAI.PerfectCompleteness.SourceAmplification.repetitionLength line 81
  8. theorem OAI.PerfectCompleteness.SourceAmplification.repetitionLength_spec line 84
  9. theorem OAI.PerfectCompleteness.SourceAmplification.repeated_source_value_lt line 89
  10. theorem OAI.PerfectCompleteness.SourceAmplification.repeated_completeness_success line 98
  11. theorem OAI.PerfectCompleteness.SourceAmplification.repeated_completeness_value line 109