OAI/MathematicalPhysics/ContinuumCoulomb/ManyBody/FiniteOverlap.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Summing localized estimates using spatial overlap rather than the number of nuclei.

  1. theorem OAI.ContinuumCoulomb.finite_overlap_integral line 13