OAI/MathematicalPhysics/DefocusingNLS/Profile/RadialSpectralClassification.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Exact conditional classification of all regular outgoing radial modes in the counting half-plane, uniformly in every angular degree.

  1. theorem OAI.DefocusingNLS.radialMatchedSpectralMode_classification line 14