OAI/MathematicalPhysics/DefocusingNLS/Spectrum/SpectralPhysicalParameterBounds.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Explicit logarithmic value and slope bounds for the differentiated physical outgoing columns.

  1. theorem OAI.DefocusingNLS.circularParameterShear_norm line 12
  2. theorem OAI.DefocusingNLS.spectralPhysicalParameter_value_slope_bound line 40