OAI/Computability/QuantumFactoring/PhysicalTreeEmission.lean

GitHub source file

19 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.ExactQuantumFactoring.PhysicalTreeEmission.capacity line 14
  2. lemma OAI.ExactQuantumFactoring.PhysicalTreeEmission.configWidth line 16
  3. lemma OAI.ExactQuantumFactoring.PhysicalTreeEmission.query line 17
  4. lemma OAI.ExactQuantumFactoring.PhysicalTreeEmission.nodeResult line 19
  5. lemma OAI.ExactQuantumFactoring.PhysicalTreeEmission.fields line 22
  6. lemma OAI.ExactQuantumFactoring.PhysicalTreeEmission.old line 28
  7. lemma OAI.ExactQuantumFactoring.PhysicalTreeEmission.localNode line 30
  8. lemma OAI.ExactQuantumFactoring.PhysicalTreeEmission.pushed line 32
  9. lemma OAI.ExactQuantumFactoring.PhysicalTreeEmission.update line 36
  10. lemma OAI.ExactQuantumFactoring.PhysicalTreeEmission.initWork line 38
  11. lemma OAI.ExactQuantumFactoring.PhysicalTreeEmission.updateWork line 40
  12. lemma OAI.ExactQuantumFactoring.PhysicalTreeEmission.machineWidth line 41
  13. lemma OAI.ExactQuantumFactoring.PhysicalTreeEmission.machineInitial line 43
  14. lemma OAI.ExactQuantumFactoring.PhysicalTreeEmission.machineProgram line 45
  15. lemma OAI.ExactQuantumFactoring.PhysicalTreeEmission.start line 48
  16. lemma OAI.ExactQuantumFactoring.PhysicalTreeEmission.steps line 50
  17. lemma OAI.ExactQuantumFactoring.PhysicalTreeEmission.width line 51
  18. lemma OAI.ExactQuantumFactoring.PhysicalTreeEmission.initial line 52
  19. lemma OAI.ExactQuantumFactoring.PhysicalTreeEmission.program line 53