OAI/MathematicalPhysics/ContinuumCoulomb/Programs/PolynomialConstantBounds.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Fixed positive analytic constants fit uniform polynomial ranges for every size parameter at least two.

  1. theorem OAI.ContinuumCoulomb.exists_polynomial_constant_bounds line 11
  2. theorem OAI.ContinuumCoulomb.sqrt_polynomial_bounds line 27