OAI/MathematicalPhysics/ContinuumCoulomb/OneParticle/ManufacturedNuclearForm.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

General-form half of the unit-nucleus replacement estimate. It holds for every spin component of every many-electron weak-H1 state.

  1. theorem OAI.ContinuumCoulomb.manufactured_grid_form_error line 15