OAI/MathematicalPhysics/ContinuumCoulomb/OneParticle/ManufacturedScaleThreshold.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The physical scale lies in the domain required by the numerical field program after a fixed, input-independent exponent threshold.

  1. theorem OAI.ContinuumCoulomb.exists_manufactured_scale_threshold line 11