OAI/MathematicalPhysics/ContinuumCoulomb/ManyBody/WeightedSourcePairing.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Weighted Cauchy--Schwarz for the absolute nuclear error measure.

  1. theorem OAI.ContinuumCoulomb.weighted_real_pairing line 11
  2. theorem OAI.ContinuumCoulomb.weighted_source_pairing line 67