OAI/MathematicalPhysics/ContinuumCoulomb/Quantum/QuantumPaddedEvolution.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

Exact tensor evolution of the verifier together with zero fresh wires.

  1. theorem OAI.ContinuumCoulomb.qmaTensor_zero_vector line 12
  2. theorem OAI.ContinuumCoulomb.qmaPadded_apply line 20
  3. theorem OAI.ContinuumCoulomb.qmaOutputVector_padded line 43
  4. theorem OAI.ContinuumCoulomb.qmaPaddedOutput_probability line 54