OAI/MathematicalPhysics/ContinuumCoulomb/OneParticle/ScaledNuclearNear.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Equal-mass near-node errors have the required square-mesh scaling. The constant depends on the separation and near-ball ratios, not on the number of nuclei or the size of the box.

  1. theorem OAI.ContinuumCoulomb.scaled_nuclear_near_bound line 14