OAI/MathematicalPhysics/ContinuumCoulomb/Quantum/QuantumCountertermProgram.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

Literal rational arithmetic for the internal four-spin counterterms.

  1. opaque OAI.ContinuumCoulomb.QuantumAxisSample.positiveProgram line 13
  2. opaque OAI.ContinuumCoulomb.QuantumAxisSample.polarityProgram line 16
  3. opaque OAI.ContinuumCoulomb.QuantumAxisSample.shiftProgram line 24
  4. opaque OAI.ContinuumCoulomb.QuantumAxisSample.absoluteInputProgram line 35
  5. opaque OAI.ContinuumCoulomb.QuantumAxisSample.factorProgram line 38
  6. opaque OAI.ContinuumCoulomb.QuantumAxisSample.counterAProgram line 45
  7. opaque OAI.ContinuumCoulomb.QuantumAxisSample.counterBProgram line 52
  8. def OAI.ContinuumCoulomb.QuantumAxisSample.counterACertificate line 61
  9. def OAI.ContinuumCoulomb.QuantumAxisSample.counterBCertificate line 64