OAI/MathematicalPhysics/ContinuumCoulomb/OneParticle/ScalarScaleBudgets.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

Fixed size-independent thresholds for the scalar conditions in the manufactured continuum comparison.

  1. theorem OAI.ContinuumCoulomb.exists_inverse_power_offset line 12
  2. theorem OAI.ContinuumCoulomb.exists_polynomial_ratio_offset line 24
  3. theorem OAI.ContinuumCoulomb.exists_logarithmic_scale_threshold line 42
  4. theorem OAI.ContinuumCoulomb.exists_centered_slab_threshold line 56