OAI/MathematicalPhysics/DefocusingNLS/Linear/ExpandingMildLimit.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Physical limits of bounded expanding mild solutions are whole-space mild solutions

  1. theorem OAI.DefocusingNLS.expandingMild_physical_limit line 17