OAI/MathematicalPhysics/ContinuumCoulomb/Reduction/UniformHubbardParameters.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Fixed inverse-polynomial exponents close the full Hubbard-to-spin perturbation budget for every polynomial edge count and coefficient bound.

  1. theorem OAI.ContinuumCoulomb.exists_uniform_hubbard_parameters line 12