OAI/MathematicalPhysics/ContinuumCoulomb/OneParticle/ExceptionalCellVolume.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Cells meeting the well support have total volume O(m*S), rather than the volume of the surrounding slab.

  1. theorem OAI.ContinuumCoulomb.cube_meets_wellCover_subset line 13
  2. theorem OAI.ContinuumCoulomb.exceptional_cell_volume_bound line 30