OAI/MathematicalPhysics/DefocusingNLS/Spectrum/SpectralCanonicalColumnLimit.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The constructed common-tail limit is also the limit of every canonical all-orders column, including the holomorphic columns used in matching.

  1. theorem OAI.DefocusingNLS.canonical_circular_allOrders_limit line 14