OAI/MathematicalPhysics/ContinuumCoulomb/Quantum/QuantumExchangeSample.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

Certified rational values for every edge of the actual physical exchange family.

  1. def OAI.ContinuumCoulomb.QuantumAxisSample.stencil line 14
  2. theorem OAI.ContinuumCoulomb.QuantumAxisSample.stencil_cast line 18
  3. def OAI.ContinuumCoulomb.QuantumAxisSample.crossValue line 23
  4. theorem OAI.ContinuumCoulomb.QuantumAxisSample.crossValue_error line 26
  5. def OAI.ContinuumCoulomb.QuantumAxisSample.weightValue line 51
  6. def OAI.ContinuumCoulomb.QuantumAxisSample.weightErrorBudget line 60
  7. theorem OAI.ContinuumCoulomb.QuantumAxisSample.weightValue_error line 62
  8. theorem OAI.ContinuumCoulomb.QuantumAxisSample.weightValue_ground_error line 106