OAI/MathematicalPhysics/DefocusingNLS/Profile/RadialExteriorCanonicalContinuity.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Parameter continuity of the unique outgoing solution at the matching radius.

  1. theorem OAI.DefocusingNLS.radialExteriorCanonical_parameter_limit line 12
  2. theorem OAI.DefocusingNLS.continuous_radialExteriorCanonical_boundary line 86