OAI/Computability/PerfectCompleteness/Repetition/CleanPhysicalCanonicalQuery.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

  1. abbrev OAI.PerfectCompleteness.CleanPhysicalCanonicalQuery.Sample line 22
  2. def OAI.PerfectCompleteness.CleanPhysicalCanonicalQuery.leftSlots line 24
  3. def OAI.PerfectCompleteness.CleanPhysicalCanonicalQuery.rightSlots line 28
  4. def OAI.PerfectCompleteness.CleanPhysicalCanonicalQuery.projection line 32
  5. def OAI.PerfectCompleteness.CleanPhysicalCanonicalQuery.leftArrays line 40
  6. def OAI.PerfectCompleteness.CleanPhysicalCanonicalQuery.rightArrays line 46
  7. theorem OAI.PerfectCompleteness.CleanPhysicalCanonicalQuery.arrays_pullback line 53
  8. theorem OAI.PerfectCompleteness.CleanPhysicalCanonicalQuery.query_pullback line 67
  9. theorem OAI.PerfectCompleteness.CleanPhysicalCanonicalQuery.key_eq line 89
  10. theorem OAI.PerfectCompleteness.CleanPhysicalCanonicalQuery.label_val_eq line 108
  11. theorem OAI.PerfectCompleteness.CleanPhysicalCanonicalQuery.response_eq line 128