OAI/MathematicalPhysics/DefocusingNLS/Spectrum/SpectralTurningBoundarySystem.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The constructed turning comparison supplies a scalar boundary system and a uniform extension bound, ready for coupled absorption.

  1. theorem OAI.DefocusingNLS.spectralTurning_boundary_systems line 12