OAI/MathematicalPhysics/ContinuumCoulomb/Nuclei/SlabOriginValue.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

Actual rational cubature of the scalar slab shift.

  1. abbrev OAI.ContinuumCoulomb.SlabOriginValue.Parameters line 11
  2. abbrev OAI.ContinuumCoulomb.SlabOriginValue.Input line 12
  3. def OAI.ContinuumCoulomb.SlabOriginValue.parameterCode line 14
  4. def OAI.ContinuumCoulomb.SlabOriginValue.sample line 17
  5. def OAI.ContinuumCoulomb.SlabOriginValue.value line 20
  6. opaque OAI.ContinuumCoulomb.SlabOriginValue.sampleInputProgram line 23
  7. opaque OAI.ContinuumCoulomb.SlabOriginValue.sampleProgram line 43
  8. opaque OAI.ContinuumCoulomb.SlabOriginValue.program line 48
  9. def OAI.ContinuumCoulomb.SlabOriginValue.certificate line 61
  10. theorem OAI.ContinuumCoulomb.SlabOriginValue.sample_error line 65
  11. theorem OAI.ContinuumCoulomb.SlabOriginValue.error line 75