OAI/MathematicalPhysics/DefocusingNLS/Profile/RadialSymmetrySpectralMode.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

All three symmetry eigenvalues have actual nonzero radial spectral modes.

  1. def OAI.DefocusingNLS.radialMatchedSymmetryMode line 12