OAI/Combinatorics/IndependentSets/Machines/PhasePolynomial.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.IndependentSetsGames.Foundations.Complexity.MachineOverlayTable.loopSteps_le line 13
  2. def OAI.IndependentSetsGames.Foundations.Complexity.MachineOverlayTable.phasePolynomial line 20
  3. theorem OAI.IndependentSetsGames.Foundations.Complexity.MachineOverlayTable.phasePolynomial_eval line 36
  4. def OAI.IndependentSetsGames.Foundations.Complexity.MachineOverlayTable.timePolynomial line 44
  5. theorem OAI.IndependentSetsGames.Foundations.Complexity.MachineOverlayTable.tableSteps_le line 47
  6. def OAI.IndependentSetsGames.Foundations.Complexity.MachineOverlayTable.tableInTime line 64
  7. def OAI.IndependentSetsGames.Foundations.Complexity.MachineOverlayTable.machine line 77
  8. theorem OAI.IndependentSetsGames.Foundations.Complexity.MachineOverlayTable.machine_alphabet_finite line 88