OAI/MathematicalPhysics/DefocusingNLS/Profile/RadialExteriorTerminal.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Equality on an outgoing tail propagates back to the matching radius.

  1. theorem OAI.DefocusingNLS.radialExterior_terminal_unique line 11
  2. theorem OAI.DefocusingNLS.radialExterior_outgoing_unique line 45