OAI/Combinatorics/IndependentSets/Machines/Placement.lean

GitHub source file

15 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.IndependentSetsGames.Reduction.MachineTransfer.exitAt line 11
  2. def OAI.IndependentSetsGames.Reduction.MachineTransfer.loopAt line 16
  3. def OAI.IndependentSetsGames.Reduction.MachineTransfer.tapesAt line 23
  4. theorem OAI.IndependentSetsGames.Reduction.MachineTransfer.tapesAt_src line 27
  5. theorem OAI.IndependentSetsGames.Reduction.MachineTransfer.tapesAt_dst line 32
  6. theorem OAI.IndependentSetsGames.Reduction.MachineTransfer.tapesAt_other line 37
  7. theorem OAI.IndependentSetsGames.Reduction.MachineTransfer.tapesAt_self line 42
  8. theorem OAI.IndependentSetsGames.Reduction.MachineTransfer.update_tapesAt_src line 46
  9. theorem OAI.IndependentSetsGames.Reduction.MachineTransfer.update_tapesAt_dst line 60
  10. def OAI.IndependentSetsGames.Reduction.MachineTransfer.nextAt line 71
  11. theorem OAI.IndependentSetsGames.Reduction.MachineTransfer.stepAt_empty line 76
  12. theorem OAI.IndependentSetsGames.Reduction.MachineTransfer.stepAt_cons line 90
  13. theorem OAI.IndependentSetsGames.Reduction.MachineTransfer.transferAt_steps line 106
  14. theorem OAI.IndependentSetsGames.Reduction.MachineTransfer.transferAt_fromTapes line 130
  15. def OAI.IndependentSetsGames.Reduction.MachineTransfer.transferAtInTime line 143