OAI/MathematicalPhysics/DefocusingNLS/Profile/RadialMatchedCanonicalPencilLimit.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Local uniform convergence of the actual canonical compact spectral pencil.

  1. theorem OAI.DefocusingNLS.radialMatchedCanonicalPencil_locallyUniform line 19