OAI/MathematicalPhysics/ContinuumCoulomb/OneParticle/LocalizedHubbardEntries.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

From the actual spatial one-body error to the full spinful Hubbard coefficient error. The off-site counterterm is kept exactly.

  1. theorem OAI.ContinuumCoulomb.localizedSpin_hubbard_oneBody_error line 34