OAI/MathematicalPhysics/ContinuumCoulomb/Quantum/QuantumTransferIndex.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

Exact time-to-column indexing for the three-gate transfer blocks.

  1. theorem OAI.ContinuumCoulomb.qmaColumnTransfer_length line 11
  2. theorem OAI.ContinuumCoulomb.qmaColumnTransfer_get_column line 16
  3. theorem OAI.ContinuumCoulomb.qmaTaggedRowStage_length line 38