OAI/MathematicalPhysics/ContinuumCoulomb/Quantum/QuantumMappedGate.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

Explicit gate addresses for a logical register embedded in a larger wire grid.

  1. def OAI.ContinuumCoulomb.qmaMapGate line 11
  2. theorem OAI.ContinuumCoulomb.qmaMapGate_wellFormed line 18
  3. theorem OAI.ContinuumCoulomb.qmaRelabelGate_map line 32
  4. theorem OAI.ContinuumCoulomb.qmaMapGate_congr line 39