OAI/MathematicalPhysics/ContinuumCoulomb/OneParticle/CalibrationCoefficientError.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

A numerical calibration residual controls the actual superexchange coefficient directly. No inverse-function or derivative lower bound is used.

  1. theorem OAI.ContinuumCoulomb.calibrated_coefficient_error line 11