OAI/MathematicalPhysics/ContinuumCoulomb/OneParticle/PlanarPolynomialScale.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Uniform polynomial amplification of the actual hopping brackets. A fixed large power of the input-size parameter suffices; the well constants and contact tolerance remain fixed.

  1. theorem OAI.ContinuumCoulomb.planar_polynomial_brackets line 15