OAI/MathematicalPhysics/ContinuumCoulomb/Quantum/QuantumForkWeightBounds.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

Coefficient growth of the repeatable fork stage is polynomial.

  1. theorem OAI.ContinuumCoulomb.qmaForkOffset_abs_le line 11
  2. theorem OAI.ContinuumCoulomb.QMAForkState.nextWeight_abs_le line 25
  3. theorem OAI.ContinuumCoulomb.QMAForkState.nextActive_abs_le line 49
  4. theorem OAI.ContinuumCoulomb.QMAForkState.nextConstant_abs_le line 57