OAI/MathematicalPhysics/DefocusingNLS/Spectrum/SpectralTailRows.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The physical row comparison only needs smoothness and boundedness on a tail.

  1. theorem OAI.DefocusingNLS.homogeneousOutgoingRows_tail_comparison line 14