OAI/MathematicalPhysics/ContinuumCoulomb/Nuclei/SlabProfile.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

Quantitative removal of the vertical regularization.

  1. def OAI.ContinuumCoulomb.slabRegularizedProfile line 12
  2. theorem OAI.ContinuumCoulomb.slab_sqrt_regularization line 15
  3. theorem OAI.ContinuumCoulomb.slabRegularizedProfile_error line 30
  4. theorem OAI.ContinuumCoulomb.slabRegularizedProfile_tendsto line 49