OAI/MathematicalPhysics/ContinuumCoulomb/OneParticle/ManufacturedGridGroundComparison.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

The actual transported unit-charge cloud has two-sided physical ground bounds obtained from the full-domain lower estimate and localized trials.

  1. def OAI.ContinuumCoulomb.manufacturedGridError line 16
  2. theorem OAI.ContinuumCoulomb.manufactured_grid_ground_bounds line 21