OAI/MathematicalPhysics/ContinuumCoulomb/ManyBody/FockTwoBodyIntegral.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

Singular two-particle integrals of the actual orbital tensor and their CAR representation. Integrability is required only for the four-index entries.

  1. theorem OAI.ContinuumCoulomb.FockTwoBodyIntegral.tensor_pair_integrable line 16
  2. theorem OAI.ContinuumCoulomb.FockTwoBodyIntegral.tensor_pair_integral line 28
  3. theorem OAI.ContinuumCoulomb.FockTwoBodyIntegral.tensorValue_pair_expansion line 42
  4. theorem OAI.ContinuumCoulomb.FockTwoBodyIntegral.tensorValue_pair_integrable line 55
  5. theorem OAI.ContinuumCoulomb.FockTwoBodyIntegral.tensorValue_pair_integral line 66
  6. theorem OAI.ContinuumCoulomb.FockTwoBodyIntegral.tensorValue_pair_contraction line 92
  7. theorem OAI.ContinuumCoulomb.FockTwoBodyIntegral.tensorValue_twoBody_integral line 115