OAI/MathematicalPhysics/ContinuumCoulomb/OneParticle/ManufacturedGridParameters.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

One actual nuclear cloud simultaneously satisfies the full-domain form, finite matrix, and differential-residual estimates at fixed polynomial scales.

  1. theorem OAI.ContinuumCoulomb.manufactured_grid_parameters line 15