OAI/MathematicalPhysics/DefocusingNLS/Spectrum/SpectralMixedComparisons.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

A common Green bound and diverging weight floor for the mixed turning/no-turn exterior problem.

  1. theorem OAI.DefocusingNLS.spectralMixed_comparisons line 14