OAI/MathematicalPhysics/DefocusingNLS/Spectrum/SpectralNoTurnUniformBoundary.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_uniform_boundary_systems line 13