OAI/MathematicalPhysics/DefocusingNLS/Profile/RadialCanonicalRemainderEquation.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Subtracting the canonical parameter correction removes the physical Jordan source.

  1. theorem OAI.DefocusingNLS.radialCanonicalParameter_combination_hasDerivAt line 12
  2. theorem OAI.DefocusingNLS.radialCanonicalParameter_remainder_hasDerivAt line 36