OAI/MathematicalPhysics/ContinuumCoulomb/ManyBody/FockDensityTensor.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Occupation-diagonal Coulomb tensors are density interactions with the self term removed, as follows directly from the CAR.

  1. theorem OAI.ContinuumCoulomb.HubbardGlobal.twoBodyOperator_density line 13