OAI/Computability/PerfectCompleteness/Foundations/CanonicalDictionaryNames.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.PerfectCompleteness.CanonicalDictionaryNames.updatedTokens_eq line 16
  2. theorem OAI.PerfectCompleteness.CanonicalDictionaryNames.keyWord_eq line 22
  3. theorem OAI.PerfectCompleteness.CanonicalDictionaryNames.index_eq_onlineID line 26
  4. theorem OAI.PerfectCompleteness.CanonicalDictionaryNames.index_eq_finalName line 32
  5. def OAI.PerfectCompleteness.CanonicalDictionaryNames.steps line 38
  6. theorem OAI.PerfectCompleteness.CanonicalDictionaryNames.steps_le line 42
  7. def OAI.PerfectCompleteness.CanonicalDictionaryNames.streamBound line 51
  8. theorem OAI.PerfectCompleteness.CanonicalDictionaryNames.steps_le_metadata line 54
  9. theorem OAI.PerfectCompleteness.CanonicalDictionaryNames.dictionaryTrace line 73
  10. def OAI.PerfectCompleteness.CanonicalDictionaryNames.dictionaryInTime line 97
  11. theorem OAI.PerfectCompleteness.CanonicalDictionaryNames.dictionaryTrace_finalName line 123
  12. def OAI.PerfectCompleteness.CanonicalDictionaryNames.dictionaryInTime_metadata line 146