OAI/MathematicalPhysics/DefocusingNLS/Spectrum/SpectralFreePhysicalShear.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The physical outgoing parameter derivative has precisely the Jordan source, including the logarithmic derivative of the radial power.

  1. theorem OAI.DefocusingNLS.spectralPhysicalFreeShear_hasDerivAt line 13