OAI/MathematicalPhysics/ContinuumCoulomb/Nuclei/SlabGrid.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

The finite integer grid used for the rectangular slab.

  1. def OAI.ContinuumCoulomb.slabGridIndices line 12
  2. theorem OAI.ContinuumCoulomb.slabGrid_covers line 14