OAI/MathematicalPhysics/ContinuumCoulomb/OneParticle/CappedCoulombMass.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

The exact three-dimensional near-pole mass makes the cap error quadratic in its rational radius.

  1. theorem OAI.ContinuumCoulomb.coulomb_kernelBallMass line 12
  2. theorem OAI.ContinuumCoulomb.cappedCoulombPotential_error_explicit line 48