OAI/MathematicalPhysics/ContinuumCoulomb/OneParticle/ManufacturedProjectedLower.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Uniform projected lower bound for the actual manufactured Coulomb field. Only the published planar, oscillator and Sobolev-density inputs occur.

  1. theorem OAI.ContinuumCoulomb.manufacturedSlab_uniform_projected_lower line 11