OAI/MathematicalPhysics/DefocusingNLS/Profile/RadialBoundaryContinuity.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Sequential continuity of the free boundary value and modulus, with varying start radius.

  1. theorem OAI.DefocusingNLS.radial_free_boundary_tendsto line 10