OAI/MathematicalPhysics/ContinuumCoulomb/OneParticle/NumericalSquare.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Squaring a computed value is uniformly stable on the range of the constructed planar resolvent.

  1. theorem OAI.ContinuumCoulomb.unitInterval_square_error line 10