OAI/MathematicalPhysics/DefocusingNLS/Spectrum/SpectralScalarIntervalStability.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Continuous dependence on any compact interval, in the coordinates used by the turning-point rescaling.

  1. theorem OAI.DefocusingNLS.spectralScalar_interval_stability line 11