OAI/Computability/QuantumFactoring/PhysicalSplitEmission.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.ExactQuantumFactoring.PhysicalSplitEmission.ordersWidth line 13
  2. lemma OAI.ExactQuantumFactoring.PhysicalSplitEmission.ordersProgram line 15
  3. lemma OAI.ExactQuantumFactoring.PhysicalSplitEmission.listWires line 17
  4. lemma OAI.ExactQuantumFactoring.PhysicalSplitEmission.modulusWires line 19
  5. lemma OAI.ExactQuantumFactoring.PhysicalSplitEmission.base line 21
  6. lemma OAI.ExactQuantumFactoring.PhysicalSplitEmission.orderInitial line 25
  7. lemma OAI.ExactQuantumFactoring.PhysicalSplitEmission.ordersInitial line 28
  8. lemma OAI.ExactQuantumFactoring.PhysicalSplitEmission.work line 33
  9. lemma OAI.ExactQuantumFactoring.PhysicalSplitEmission.width line 34
  10. lemma OAI.ExactQuantumFactoring.PhysicalSplitEmission.program line 36
  11. lemma OAI.ExactQuantumFactoring.PhysicalSplitEmission.initial line 39
  12. lemma OAI.ExactQuantumFactoring.PhysicalSplitEmission.launchWork line 42
  13. lemma OAI.ExactQuantumFactoring.PhysicalSplitEmission.launchWidth line 43
  14. lemma OAI.ExactQuantumFactoring.PhysicalSplitEmission.launch line 45