OAI/MathematicalPhysics/ContinuumCoulomb/OneParticle/OrbitalNuclearTail.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Removal of the compact cutoff in the nuclear matrix element. The full weak-H1 absolute form estimate controls the removed orbital tail.

  1. theorem OAI.ContinuumCoulomb.orbital_nuclear_cutoff_error line 15