OAI/MathematicalPhysics/DefocusingNLS/Spectrum/SpectralPhysicalBasis.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

A holomorphic rank-two family solving the actual physical exterior spectral system.

  1. theorem OAI.DefocusingNLS.canonical_physical_outgoing_basis line 13