OAI/MathematicalPhysics/DefocusingNLS/Nonlinear/StableProjectionEigenvector.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Nondecaying eigenvectors lie in the finite contour range

  1. theorem OAI.DefocusingNLS.stable_projection_fixes_eigenvector line 12