OAI/MathematicalPhysics/ContinuumCoulomb/ManyBody/MediatorUnarySecond.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

Actual second-stage unary coefficient and vertex metadata.

  1. opaque OAI.ContinuumCoulomb.MediatorUnaryProgram.weightTwo line 10
  2. opaque OAI.ContinuumCoulomb.MediatorUnaryProgram.twiceR line 21
  3. opaque OAI.ContinuumCoulomb.MediatorUnaryProgram.nextN line 23
  4. def OAI.ContinuumCoulomb.MediatorUnaryProgram.secondEnv line 26
  5. opaque OAI.ContinuumCoulomb.MediatorUnaryProgram.secondProgram line 28