OAI/MathematicalPhysics/ContinuumCoulomb/ManyBody/FockTwoBodyContraction.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

The two occupied-coordinate contraction, with the signs obtained from the actual antisymmetric coefficient tensor.

  1. def OAI.ContinuumCoulomb.FockTwoBodyContraction.pairInsert line 13
  2. theorem OAI.ContinuumCoulomb.FockTwoBodyContraction.pairInsert_left line 17
  3. theorem OAI.ContinuumCoulomb.FockTwoBodyContraction.pairInsert_right line 21
  4. theorem OAI.ContinuumCoulomb.FockTwoBodyContraction.pairInsert_rest line 25
  5. theorem OAI.ContinuumCoulomb.FockTwoBodyContraction.pairInsert_coefficient line 30
  6. theorem OAI.ContinuumCoulomb.FockTwoBodyContraction.pairInsert_delta line 37
  7. theorem OAI.ContinuumCoulomb.FockTwoBodyContraction.twoBody_contraction line 63