OAI/MathematicalPhysics/ContinuumCoulomb/Quantum/QuantumThirdCounterterm.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

The third-order series gadget uses only polynomial coefficients. Its parallel version is controlled by ThirdOrderPerturbation.

  1. def OAI.ContinuumCoulomb.qmaThirdSeriesPair line 13
  2. def OAI.ContinuumCoulomb.qmaThirdSeriesCounter line 16
  3. theorem OAI.ContinuumCoulomb.qmaThirdSeries_effective line 20
  4. theorem OAI.ContinuumCoulomb.qmaThirdSeries_scaled_effective line 31