OAI/MathematicalPhysics/DefocusingNLS/Spectrum/SpectralFluxChainGauge.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

A parameter chain of the weighted flux ODE becomes the forced physical ODE.

  1. theorem OAI.DefocusingNLS.spectralFluxChainGauge_hasDerivAt line 15