OAI/MathematicalPhysics/DefocusingNLS/Profile/RadialFreeInitialExistence.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

A bounded integral solution of the free initial-value problem on the manuscript's short shell.

  1. theorem OAI.DefocusingNLS.exists_radial_free_initial line 10