OAI/MathematicalPhysics/DefocusingNLS/Spectrum/SpectralNoTurnBoundarySystem.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The no-turn comparison supplies the exact outgoing boundary system and a uniform bound for extension of the inner boundary value.

  1. theorem OAI.DefocusingNLS.spectralNoTurn_boundary_systems line 13