OAI/MathematicalPhysics/DefocusingNLS/Profile/RadialMatchedLimitSpectrum.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The actual constrained limiting pencil has only the symmetry spectral values in the closed counting half-plane.

  1. theorem OAI.DefocusingNLS.radialMatchedLimit_kernel_symmetry line 12