OAI/MathematicalPhysics/DefocusingNLS/Spectrum/SpectralLiouvilleForbiddenBounds.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

A single residual integral controls transfer from either endpoint at every point of the forbidden interval, with the action kept in that channel.

  1. theorem OAI.DefocusingNLS.spectralLiouville_forbidden_bounds line 11