OAI/MathematicalPhysics/ContinuumCoulomb/OneParticle/ManufacturedPreciseResidual.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The uniform spectral gap uses a fixed threshold, while residual precision uses the actual, smaller counterterm ratio chosen by the reduction.

  1. theorem OAI.ContinuumCoulomb.manufacturedSlab_uniform_precise_manyElectron_lower line 11