OAI/MathematicalPhysics/DefocusingNLS/Spectrum/SpectralRadialCoreWeak.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The constrained inverse has strongly convergent observations for weakly varying inputs.

  1. theorem OAI.DefocusingNLS.spectralRadialCoreInverse_weak_input line 11