OAI/MathematicalPhysics/DefocusingNLS/Spectrum/SpectralMixedUniformComparisons.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_uniform_comparisons line 15