OAI/MathematicalPhysics/ContinuumCoulomb/Quantum/QuantumFourTensorError.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

The counterterm's off-diagonal contribution to the second-order energy.

  1. theorem OAI.ContinuumCoulomb.qmaInverse_symmetric line 13
  2. theorem OAI.ContinuumCoulomb.qmaSecondOrder_column_identity line 22
  3. theorem OAI.ContinuumCoulomb.qmaSecondOrder_column_error line 36
  4. theorem OAI.ContinuumCoulomb.qmaSecondOrder_inverse_column_bound line 65