OAI/MathematicalPhysics/ContinuumCoulomb/OneParticle/ManufacturedFarGrid.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The far part of the actual manufactured nuclear quadrature. Its error has no factor depending on the horizontal area of the enclosing slab.

  1. theorem OAI.ContinuumCoulomb.manufactured_moser_far_grid_error line 14