OAI/MathematicalPhysics/DefocusingNLS/Profile/RadialShootingPressureLimit.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Weak-star pressure convergence for the actual inner shooting family.

  1. theorem OAI.DefocusingNLS.radialShootingInner_pressure_weakstar line 11