OAI/MathematicalPhysics/DefocusingNLS/Profile/RadialJordanState.lean
1 declarations, 0 contain sorry, 0 declared as axioms
The physical first-order equation of a radial Jordan chain.
- theorem
OAI.DefocusingNLS.harmonicRadialSourcePair_hasDerivAtline 11