OAI/MathematicalPhysics/DefocusingNLS/Profile/RadialSpectralMode.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

The exact classical radial data retained from a nonzero contour eigenvector.

  1. structure OAI.DefocusingNLS.RadialSpectralMode line 13
  2. theorem OAI.DefocusingNLS.homogeneous_matched_contour_radialMode line 26