OAI/MathematicalPhysics/ContinuumCoulomb/Quantum/QuantumFourCounterterm.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

Internal exchanges cancel the unwanted one-body terms of the simulator.

  1. def OAI.ContinuumCoulomb.qmaFourCounterA line 12
  2. def OAI.ContinuumCoulomb.qmaFourCounterB line 15
  3. def OAI.ContinuumCoulomb.qmaFourCounterterm line 19
  4. def OAI.ContinuumCoulomb.qmaFourEnergyOffset line 23
  5. theorem OAI.ContinuumCoulomb.qmaFourDouble_local_compression line 28
  6. theorem OAI.ContinuumCoulomb.qmaFourCounterterm_effective line 37