OAI/MathematicalPhysics/ContinuumCoulomb/OneParticle/CompactOrbitalNuclearError.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Fourth-order nuclear replacement for the actual cutoff orbital transition densities, with every analytic source estimate discharged.

  1. theorem OAI.ContinuumCoulomb.manufactured_compact_orbital_nuclear_error line 13