OAI/MathematicalPhysics/DefocusingNLS/Profile/RadialFreeDifference.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Dependence on the starting radius, proved by comparing actual integral solutions.

  1. theorem OAI.DefocusingNLS.radial_free_start_difference line 10