OAI/MathematicalPhysics/ContinuumCoulomb/OneParticle/LocalizedCorrectedMatrixError.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Quantitative comparison of the actual shifted and scaled one-body matrix with the hopping and Coulomb occupancy counterterm matrix.

  1. def OAI.ContinuumCoulomb.localizedOneBodyTarget line 12
  2. theorem OAI.ContinuumCoulomb.localizedCorrectedOneBodyMatrix_error line 16