OAI/MathematicalPhysics/ContinuumCoulomb/Quantum/QuantumWireGrid.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

Concrete row-major physical qubits for the space-time wire construction.

  1. abbrev OAI.ContinuumCoulomb.qmaGridWork line 11
  2. def OAI.ContinuumCoulomb.qmaGridQubit line 13
  3. theorem OAI.ContinuumCoulomb.qmaGridQubit_injective line 22
  4. theorem OAI.ContinuumCoulomb.qmaGridRow_injective line 36
  5. theorem OAI.ContinuumCoulomb.qmaGridRows_disjoint line 41
  6. def OAI.ContinuumCoulomb.qmaGridTransfer line 46
  7. theorem OAI.ContinuumCoulomb.qmaGridTransfer_length line 50
  8. theorem OAI.ContinuumCoulomb.qmaGridRow_ne line 53
  9. theorem OAI.ContinuumCoulomb.qmaGridTransfer_wellFormed line 58
  10. theorem OAI.ContinuumCoulomb.qmaGridTransfer_coordinates line 64