OAI/MathematicalPhysics/DefocusingNLS/Spectrum/SpectralNoTurnUniformTransfer.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Uniform scalar transfer on the whole interval in the no-turn channel.

  1. theorem OAI.DefocusingNLS.spectralNoTurn_uniform_inner_transfer line 15