OAI/MathematicalPhysics/ContinuumCoulomb/ManyBody/ComplementParameterBounds.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Polynomial particle counts meet the exact separation and coercivity conditions used by the full manufactured-field comparison.

  1. theorem OAI.ContinuumCoulomb.polynomial_count_le_exp_separation line 12
  2. theorem OAI.ContinuumCoulomb.exists_manufactured_kinetic_exponent line 24