OAI/MathematicalPhysics/ContinuumCoulomb/Reduction/SourceExceptionalVolume.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The exceptional cells for a compact orbital source consist of the manufactured well support together with one neighborhood of the orbital.

  1. theorem OAI.ContinuumCoulomb.source_exceptional_volume line 15