OAI/Computability/PerfectCompleteness/Repetition/CleanEndpointSlots.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.PerfectCompleteness.CleanEndpointSlots.leftInside line 22
  2. def OAI.PerfectCompleteness.CleanEndpointSlots.rightInside line 27
  3. theorem OAI.PerfectCompleteness.CleanEndpointSlots.leftInside_nonclean line 34
  4. theorem OAI.PerfectCompleteness.CleanEndpointSlots.rightInside_nonclean line 44
  5. def OAI.PerfectCompleteness.CleanEndpointSlots.leftReference line 53
  6. def OAI.PerfectCompleteness.CleanEndpointSlots.rightReference line 56
  7. def OAI.PerfectCompleteness.CleanEndpointSlots.leftSlots line 64
  8. def OAI.PerfectCompleteness.CleanEndpointSlots.rightSlots line 67
  9. theorem OAI.PerfectCompleteness.CleanEndpointSlots.leftSlots_kept_eq line 72
  10. theorem OAI.PerfectCompleteness.CleanEndpointSlots.rightSlots_kept_eq line 81
  11. def OAI.PerfectCompleteness.CleanEndpointSlots.leftReplay line 89
  12. def OAI.PerfectCompleteness.CleanEndpointSlots.rightReplay line 100