OAI/MathematicalPhysics/ContinuumCoulomb/OneParticle/CappedRawModulus.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

A polynomial modulus for the actual six-coordinate capped density integrand. Relative displacement has no effect on this modulus.

  1. theorem OAI.ContinuumCoulomb.bounded_product_sub line 11
  2. theorem OAI.ContinuumCoulomb.cappedRawPair_modulus line 22