OAI/MathematicalPhysics/ContinuumCoulomb/OneParticle/AbsoluteNuclearForm.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Absolute-value form bound for unit-nucleus replacement. It holds for every spin component of every many-electron weak-H1 state.

  1. theorem OAI.ContinuumCoulomb.manufactured_grid_absolute_form_error line 15