OAI/MathematicalPhysics/ContinuumCoulomb/Nuclei/SlabVerticalCoordinates.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

Vertical-first coordinates for the actual three-dimensional slab.

  1. def OAI.ContinuumCoulomb.slabVerticalEquiv line 13
  2. theorem OAI.ContinuumCoulomb.slabVerticalEquiv_symm_apply line 18
  3. theorem OAI.ContinuumCoulomb.slabVerticalEquiv_apply line 23
  4. theorem OAI.ContinuumCoulomb.slabVerticalEquiv_measurePreserving line 30
  5. theorem OAI.ContinuumCoulomb.slabVerticalEquiv_preimage line 35
  6. theorem OAI.ContinuumCoulomb.slabVertical_setIntegral line 43
  7. def OAI.ContinuumCoulomb.slabAxisPoint line 53
  8. theorem OAI.ContinuumCoulomb.regularizedSlab_vertical_kernel line 55
  9. theorem OAI.ContinuumCoulomb.regularizedSlab_vertical_integrable line 68
  10. theorem OAI.ContinuumCoulomb.regularizedSlab_vertical line 83